quaestor/categories
Categories parametrized by morphism equality, in Agda
Randomisierte Algorithmen SS2011
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Categories parametrized by morphism equality, in Agda
OntoSWeb
Public repository.
Public repository.