Francesco Mecca authored on 24 Apr 2020
engine fixes related to width 1 year ago
examples reworked examples 1 year ago
paper typeset the equivalence judgment into LaTeX 1 year ago
.gitignore reworked examples 1 year ago
algorithm.md code review 1 year ago
grammar.bnf gabriel's fixes 1 year ago
journal journal up to 17-10 1 year ago
plans-for-later.md plans for later modified 1 year ago
proofs.org clarify lines 65-68 1 year ago
test.py python test script 1 year ago