pesca: Proof Editor for Sequent Calculus (mirror)
-
Updated
Dec 2, 2016 - Haskell
pesca: Proof Editor for Sequent Calculus (mirror)
Add a description, image, and links to the pesca topic page so that developers can more easily learn about it.
To associate your repository with the pesca topic, visit your repo's landing page and select "manage topics."