statebox / idris-ct

formally verified category theory library

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

statebox/idris-ct Stargazers