https://github.com/forked-from-1kasper/romeo

Castle Romeo: Experimental Theorem Prover for Category Theory
https://github.com/forked-from-1kasper/romeo

category-theory mathematics proof-assistant theorem-prover

Last synced: about 2 months ago
JSON representation

Castle Romeo: Experimental Theorem Prover for Category Theory

• Host: GitHub
• URL: https://github.com/forked-from-1kasper/romeo
• Owner: forked-from-1kasper
• Created: 2022-07-13T14:45:40.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2022-07-20T14:04:07.000Z (over 2 years ago)
• Last Synced: 2023-03-05T04:07:20.361Z (almost 2 years ago)
• Topics: category-theory, mathematics, proof-assistant, theorem-prover
• Language: OCaml
• Homepage:
• Size: 122 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project