GitPlanet
All Git Users → Deducteam

3 open source projects by Deducteam

[ Open user page on Github ]
1. Dedukti
Implementation of the λΠ-calculus modulo rewriting
✭ 132
ocaml
2. Lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
✭ 127
ocaml
3. Logipedia
An encyclopedia of proofs
✭ 53
ocamlMakefilepythonshellHTMLscheme
1-3 of 3 user projects