Gabriel Scherer authored on 22 Aug
engine rename: node -> switch, constraint_tree -> decision_tree 6 months ago
examples examples for presentation 4 months ago
paper all the slides (modulo tikz for trees) 3 months ago
talk 16:9 aspect ratio 3 months ago
.gitignore reworked examples 7 months ago
LICENSE Create LICENSE 6 months 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
proofs.org clarify lines 65-68 8 months ago
test.py python test script 7 months ago
todo.org workshop todo 6 months ago