lucch/pesca

pesca: Proof Editor for Sequent Calculus (mirror)

语言：Haskell · GitHub 星标：10 · Fork：1

话题：ghc · haskell · pesca · proof-editor · sequent-calculus

在 GitHub 上查看原仓库