All Git Users → abella-prover

1 open source projects by abella-prover

[ Open user page on Github ]

An interactive theorem prover based on lambda-tree syntax

✭ 81

ocaml Standard ML emacs lisp Makefile lambda-calculus meta-theory interactive-theorem-proving

1-1 of 1 user projects