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: 18 days 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 (over 6 years ago)
- Default Branch: master
- Last Pushed: 2020-03-02T09:34:06.000Z (about 5 years ago)
- Last Synced: 2023-02-26T04:06:08.759Z (about 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