omega-coder/UniMath--agda-unimathpublic

The agda-unimath library

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

About

The agda-unimath library

Readme
313 stars
103 forks