Geeks
Deducteam
/
Sukerujo
Syntactic sugar for Dedukti
Primary Language
OCaml
Other
NOASSERTION
Sukerujo GitHub
Markdown
Readme
2
Issues
1
Stargazer
7
Watchers
Issues
Open issue
Compatibility with Dedukti
#1 opened
6 years ago
by
francoisthire
3
Closed issue
Informative README
#2 opened
6 years ago
by
Gbury
5