GitHub repository: statebox/idris-ct
Primary language: Idris
Description: formally verified category theory library