idris-ct

formally verified category theory library

License

GNU Affero General Public License v3.0

formally verified category theory library

Creator

statebox

Related apps