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