Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with coq-sc-dataset
A curated list of projects in awesome lists tagged with coq-sc-dataset .
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: 24 Sep 2024
