PrototypeCommon
abella-prover/abella
An interactive theorem prover based on lambda-tree syntax
- Owner
- abella-prover (organization)
- Stars
- Stars: 101
- Forks
- Forks: 22
- Language
- OCaml
- License
- GPL-3.0
- Created
- 2009
- Topics
- lambda-calculusmeta-theoryinteractive-theorem-proving
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in OCaml
All OCaml repos- dbuenzli/vgStars: 101OCamlPrototype
- squaresLab/genprog-codeStars: 101OCamlPrototype
- utkarshkukreti/reamlStars: 101OCamlPrototype
- nv-vn/TelegraMLStars: 100OCamlPrototype