gebner/trepplein

Lean type-checker written in Scala.

语言：Scala · GitHub 星标：42 · Fork：4

话题：lean · scala · theorem-proving · type-checker

在 GitHub 上查看原仓库