TOTBWF/muprl

A small NuPRL style proof assistant

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

话题：computational-type-theory · nuprl · proof-assistant

在 GitHub 上查看原仓库