coq-language

There are 3 repositories under coq-language topic.

Eggy115/Coq
Coq
Language:Coq2 1 01
seanpm2001/AI2001_Category-Source_Code-SC-Coq
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Coq category for AI2001, containing Coq programming language datasets
Language:R2 3 01
seanpm2001/Learn-Coq
A repository for showcasing my knowledge of the Coq programming language, and continuing to learn the language.
Language:Coq2 3 01