Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with coq-language
A curated list of projects in awesome lists tagged with coq-language .
https://github.com/eggy115/coq
Coq
coq coq-examples coq-lang coq-language coq-library coq-programs coq-scripts eggy115 eggy115-always-win-and-never-lose
Last synced: 20 Dec 2024
https://github.com/seanpm2001/learn-coq
A repository for showcasing my knowledge of the Coq programming language, and continuing to learn the language.
article coq coq-lang coq-language gpl3 gplv3 knowledge learn learn-coq learn-coq-lang learn-coq-language md seanpm2001 seanpm2001-education seanpm2001-learn txt v
Last synced: 06 Nov 2024
https://github.com/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 coq-sc-dataset dataset gpl3 gplv3 md r-language rmarkdown-language source-code-dataset txt
Last synced: 06 Nov 2024