wtb a proof-assistant named Gnarbunga
https://archive.org/embed/gnarbunga0000brom
#proofassistant #gnarbunga
24 unnumbered pages : 30 cm
Christina Richards