Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with opetope

A curated list of projects in awesome lists tagged with opetope .

https://github.com/altaris/opetopy

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

opetope proof-assistant

Last synced: 13 Nov 2024