GitHub topics: coq-language
seanpm2001/AI2001_Category-Source_Code-SC-Coq
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Coq category for AI2001, containing Coq programming language datasets
Language: R - Size: 2.47 MB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 1
Eggy115/Coq
Coq
Language: Coq - Size: 115 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 1
seanpm2001/Learn-Coq
A repository for showcasing my knowledge of the Coq programming language, and continuing to learn the language.
Language: Coq - Size: 651 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1