Lambda Pi translator with the notation from the slides.
Primary LanguageJava
This repository is not active