README

This is an implementation of category theory in Coq.

Coq version and compilation

This development uses features new to Coq8.11.1
It has been tested on Debian with Coq 8.11.1
To compile simply type
- ./configure.sh to produce the Makefile [1] and then
- make to compile

[1] you will need to have coq_makefile to be on the path

Related Skills

node-connect

337.3k

Diagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps

frontend-design

83.2k

Create distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.

openai-whisper-api

337.3k

Transcribe audio via OpenAI Audio Transcriptions API (Whisper).

commit-push-pr

83.2k

Commit, push, and open a PR