coq-language

There are 0 repository under coq-language topic.

Eggy115 / Coq
Coq
coq coq-programs coq-lang coq-language coq-library eggy115 eggy115-always-win-and-never-lose coq-examples coq-scripts
Language:Coq 2
AI2001_Category-Source_Code-SC-Coq
seanpm2001 / AI2001_Category-Source_Code-SC-Coq
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Coq category for AI2001, containing Coq programming language datasets
ai ai-2001 ai-2001-dataset ai-2001-development ai2001 ai2001-dataset ai2001-development artificial-intelligence coq coq-lang coq-language dataset gpl3 gplv3 md r-language rmarkdown-language source-code-dataset txt coq-sc-dataset
Language:R 2
Learn-Coq
seanpm2001 / Learn-Coq
A repository for showcasing my knowledge of the Coq programming language, and continuing to learn the language.
article coq gpl3 gplv3 knowledge learn md seanpm2001 seanpm2001-education seanpm2001-learn txt v coq-lang coq-language learn-coq learn-coq-lang learn-coq-language
Language:Coq 2