VictorTaelin/interaction-calculus-of-constructions

A minimal proof checker.

语言：TypeScript · GitHub 星标：84 · Fork：4

在 GitHub 上查看原仓库