Geeks
Deducteam
/
dkmeta
A tool to rewrite Dedukti terms using rewrite rules
Primary Language
OCaml
dkmeta GitHub
Markdown
Readme
0
Issues
4
Stargazers
3
Watchers
Watchers
EmilieGrienenberger
francoisthire
Nomadic Labs
jhcloos