boyland/sasylf

Educational Proof Assistant for Type Theory

语言：Java · GitHub 星标：79 · Fork：11

在 GitHub 上查看原仓库