latte-central/latte-kernel

The (very) small kernel of the LaTTe proof assistant

语言：Clojure · GitHub 星标：12 · Fork：4

在 GitHub 上查看原仓库