https://github.com/altaris/opetopy

Proof assistant for opetope and opetopic set derivation systems :snake: :mortar_board:
https://github.com/altaris/opetopy

opetope proof-assistant

Last synced: about 1 month ago
JSON representation

Proof assistant for opetope and opetopic set derivation systems :snake: :mortar_board:

• Host: GitHub
• URL: https://github.com/altaris/opetopy
• Owner: altaris
• License: mit
• Created: 2018-10-22T12:50:36.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2020-03-02T09:34:06.000Z (almost 5 years ago)
• Last Synced: 2023-02-26T04:06:08.759Z (almost 2 years ago)
• Topics: opetope, proof-assistant
• Language: Python
• Homepage: https://opetopy.readthedocs.io/en/latest/
• Size: 190 KB
• Stars: 14
• Watchers: 5
• Forks: 1
• Open Issues: 3

Awesome Lists containing this project