Giters
Deducteam
/
hol2dk
HOL-Light to Dedukti/Lambdapi translator
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
6
Watchers:
3
Issues:
5
Forks:
3
Deducteam/hol2dk Issues
remove warnings on HOL-Light files only
Closed
9 months ago
Reducing the size of files by eliminating intermediate steps and cuts
Closed
9 months ago
Comments count
6
Opam packages for hol2dk with all dependencies (including patched HOL-Light)
Updated
9 months ago
Comments count
4