molikto/mlang

Towards changing things and see if it proofs

语言：Scala · GitHub 星标：61 · Fork：3

话题：cubical-type-theory · dependent-types · proof-assistant · type-theory

在 GitHub 上查看原仓库