Francesco Mecca authored on 10 Mar 2020
engine removed Tag from canonical_form 1 year ago
examples finish parser support and convert all examples 1 year ago
.gitignore gitignore 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: remove Unreachable node 1 year ago
proofs.org draft for proof of equivalence between trees 1 year ago