Link to logic tutorial on page

seachel / treehehe

An interactive visualization of proof tree representations of mathematical proofs using D3 and MathJax.

0 stars 0 forks source link

Link to logic tutorial on page #75

Open seachel opened 5 years ago

seachel commented 5 years ago

Expand on the logic background presented in the paper by writing a tutorial referenced from the page. Maybe to start add links to the natural deduction course notes and Wikipedia?

seachel commented 5 years ago

Make another page and use the content from the paper, expanded to include all connectives.

Initially maybe link to the natded lecture notes?