Idris-CT

Permalink: https://statebox.org/research/publications/idris-ct/
ArXiv.org: arxiv:1912.06191

Idris-ct

Idris-ct is a library to do formally verified category theory in Idris.

We also published a paper about this, which has been submitted, peer reviewed and accepted to the conference ACT2019. A conference talk can be found here.