ivanbakel/hout-prover

A non-interactive proof assistant using the Haskell type system

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

话题：curry-howard-isomorphism · monad · proof-assistant

在 GitHub 上查看原仓库