Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

https://github.com/vikraman/basic-hott

personal Agda HoTT library (borrows plenty from HoTT-Agda and agda-stdlib)
https://github.com/vikraman/basic-hott

Last synced: 3 days ago
JSON representation

personal Agda HoTT library (borrows plenty from HoTT-Agda and agda-stdlib)

Awesome Lists containing this project