A parser for Dedukti first-order problems as produced by FoCaLiZe that can pretty-print the problems in other formats.

Name
Last commit
Last update
src Loading commit data...
test Loading commit data...
.gitignore Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
Readme.org Loading commit data...