An Ugly, untested and mostly unsatifying translator from λProlog code to Latex inference rules
Primary LanguagePython
No issues in this repository yet.