search

seachel / treehehe

An interactive visualization of proof tree representations of mathematical proofs using D3 and MathJax.
0 stars 0 forks source link

Add examples #59

Closed seachel closed 6 years ago

seachel commented 6 years ago

Encode the examples from Trello and add a logic programming example.

seachel commented 6 years ago

All added other than a logic programming example.

seachel commented 6 years ago

Prove the following and encode in this tool: length (cons 1 (cons 2 (cons 3 nil))) M, possibly with M explicitly set.