https://github.com/francoisschwarzentruber/click-and-prove

https://github.com/francoisschwarzentruber/click-and-prove

game latex mathematics-education point-and-click proof proof-of-concept tree-structure

Last synced: 12 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/francoisschwarzentruber/click-and-prove
• Owner: francoisschwarzentruber
• License: agpl-3.0
• Created: 2021-03-17T07:19:58.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2021-11-18T14:47:02.000Z (about 3 years ago)
• Last Synced: 2024-10-23T22:58:32.980Z (4 months ago)
• Topics: game, latex, mathematics-education, point-and-click, proof, proof-of-concept, tree-structure
• Language: JavaScript
• Homepage: https://francoisschwarzentruber.github.io/click-and-prove/
• Size: 183 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Click-and-prove

This tool is an explorer of mathematical proofs in the form of proof trees. Clicking on statements shows how they are proven.



## Technical aspects

Proofs are described in the folder `proofs` in `.proof` files in a text format that is inspired by the way proofs are described in the package `bussproofs` in LaTEX. This tool reads these files and display interactive proof trees.