felixmoebius/wiqed

Toy theorem prover based on the calculus of constructions

语言：OCaml · GitHub 星标：1 · Fork：0

话题：ocaml · theorem-proving · type-theory

在 GitHub 上查看原仓库