GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ meta-theory
Top 1 meta-theory open source projects
abella
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
meta-theory projects