Giters
Deducteam
/
Sukerujo
Syntactic sugar for Dedukti
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1
Watchers:
7
Issues:
2
Forks:
2
Deducteam/Sukerujo Issues
Compatibility with Dedukti
Updated
2 years ago
Comments count
3
Informative README
Closed
6 years ago
Comments count
5