https://github.com/Paper-Proof/paperproof

Lean theorem proving interface which feels like pen-and-paper proofs.
https://github.com/Paper-Proof/paperproof

lean4 mathematics metaprogramming proof-tree

Last synced: 2 months ago
JSON representation

Lean theorem proving interface which feels like pen-and-paper proofs.

• Host: GitHub
• URL: https://github.com/Paper-Proof/paperproof
• Owner: Paper-Proof
• License: mit
• Created: 2023-03-16T15:24:27.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2024-04-01T01:59:20.000Z (10 months ago)
• Last Synced: 2024-04-01T02:52:07.780Z (10 months ago)
• Topics: lean4, mathematics, metaprogramming, proof-tree
• Language: TypeScript
• Homepage:
• Size: 29.2 MB
• Stars: 279
• Watchers: 6
• Forks: 6
• Open Issues: 9
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE

Awesome Lists containing this project