omega-coder/UniMath--agda-unimathpublic

The agda-unimath library

Agda Updated about 1 month ago 1 commits 313 stars
omega-coder|Mirror: UniMath/agda-unimath (⭐313)
about 1 month ago

About

The agda-unimath library

Readme
313 stars
103 forks