https://github.com/statebox/idris-ct
Idris256
4 years ago
formally verified category theory library
GNU Affero General Public License v3.0