proofofconcept
proofofconcept copied to clipboard
how is this project related to other mathematical approaches
- https://en.wikipedia.org/wiki/Sequent_calculus
- https://en.wikipedia.org/wiki/Proof_net
- https://en.wikipedia.org/wiki/Geometry_of_interaction
- https://en.wikipedia.org/wiki/Equational_logic
- https://en.wikipedia.org/wiki/Method_of_analytic_tableaux
- https://en.wikipedia.org/wiki/First-order_logic#Rules_of_inference
as per https://www.reddit.com/r/Physics/comments/gmqc2l/visualizing_derivations/