formally verified category theory library - View it on GitHub