smimram/Mini-TT

A simple type-theoretic language in OCaml: Mini-TT

语言：OCaml · GitHub 星标：13 · Fork：2

话题：mini-tt · ocaml · type-theory

在 GitHub 上查看原仓库