idris-ct
formally verified category theory library
255 stars
20 watching
23 forks
Language: Idris
last commit: over 4 years ago
Linked from 1 awesome list
category-theoryformal-proofsformal-verification
idris-ct formally verified category theory library
joaomilho/awesome-idris