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 elementary-topos

A curated list of projects in awesome lists tagged with elementary-topos .

https://github.com/homalg-project/finsetsforcap

The elementary topos of (skeletal) finite sets

elementary-topos finite-sets

Last synced: 18 Jan 2025