https://github.com/voodoos/lp2tex

An Ugly, untested and mostly unsatifying translator from λProlog code to Latex inference rules
https://github.com/voodoos/lp2tex

lambda-prolog latex python

Last synced: about 2 months ago
JSON representation

An Ugly, untested and mostly unsatifying translator from λProlog code to Latex inference rules

• Host: GitHub
• URL: https://github.com/voodoos/lp2tex
• Owner: voodoos
• Created: 2018-07-25T13:33:23.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2018-07-25T13:43:39.000Z (almost 7 years ago)
• Last Synced: 2025-02-15T16:53:01.942Z (3 months ago)
• Topics: lambda-prolog, latex, python
• Language: Python
• Homepage:
• Size: 2.93 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
## An ugly, untested and mostly unsatifying translator from λProlog code to LaTex inference rules

Usage (works with python 3.6) :

```

python lp2tex.py mymodule.mod

```