https://github.com/recursivelogic/zetaproof

Interactive mathematical theorems & proofs database
https://github.com/recursivelogic/zetaproof

Last synced: 2 months ago
JSON representation

Interactive mathematical theorems & proofs database

• Host: GitHub
• URL: https://github.com/recursivelogic/zetaproof
• Owner: RecursiveLogic
• License: bsd-3-clause
• Created: 2016-09-19T22:22:12.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2017-01-20T09:01:20.000Z (over 8 years ago)
• Last Synced: 2025-02-16T08:15:10.981Z (4 months ago)
• Language: Haskell
• Homepage:
• Size: 68.4 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# ZetaProof

Currently in progress. Any suggestions are welcome!