Versions

Repository

https://github.com/altaris/opetopy.git

Project Slug

opetopy

Last Built

1 year, 12 months ago passed

Maintainers

Badge

Tags

proof-assistant, opetope

Short URLs

opetopy.readthedocs.io
opetopy.rtfd.io

Default Version

latest

'latest' Version

master