AlphaUncommon
Deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
- Owner
- Deducteam (organization)
- Stars
- Stars: 409
- Forks
- Forks: 47
- Language
- OCaml
- License
- None
- Created
- 2017
- Topics
- proof-checkerproof-assistantrewritingdependent-typeslogical-frameworkproof-translator
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by Deducteam
All 2 repos by Deducteam- Deducteam/DeduktiStars: 241OCamlPrototype
Nearby in OCaml
All OCaml repos- raven-ml/ravenStars: 414OCamlAlpha
- yallop/ocaml-ctypesStars: 412OCamlAlpha
- aantron/lambdasoupStars: 409OCamlAlpha
- geneweb/genewebStars: 408OCamlAlpha
- c-cube/qcheckStars: 407OCamlAlpha
- mmmdbybyd/CLNCStars: 406OCamlAlpha