Back
Repo
Masters
English
EN
Home
/
Deducteam
GitHub repos by Deducteam
2 public repos by Deducteam in the catalog, most starred first.
Deducteam/lambdapi
★ 409
Stars: 409
OCaml
▒
Alpha
Deducteam/Dedukti
★ 241
Stars: 241
OCaml
░
Prototype
See Deducteam on GitHub