Geeks
FranckS
/
Dedukti
Implementation of the λΠ-calculus modulo rewriting
Primary Language
OCaml
Other
NOASSERTION
Dedukti Home Page
Dedukti GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Watchers
FranckS
Deducteam (INRIA - ENS)