search

statebox / idris-ct

formally verified category theory library
GNU Affero General Public License v3.0
255 stars 23 forks source link

differentiate between various concepts of isomorphism #64

Closed marcosh closed 4 years ago