https://github.com/5ht/bertrand

🧊 Metamath система
https://github.com/5ht/bertrand

formal-languages theorem-prover

Last synced: 2 days ago
JSON representation

🧊 Metamath система

• Host: GitHub
• URL: https://github.com/5ht/bertrand
• Owner: 5HT
• Created: 2020-01-19T15:10:32.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2022-04-05T02:59:42.000Z (over 2 years ago)
• Last Synced: 2024-11-24T16:52:47.317Z (29 days ago)
• Topics: formal-languages, theorem-prover
• Language: OCaml
• Homepage: https://bertrand.groupoid.space
• Size: 157 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project