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