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
https://github.com/seanpm2001/ai2001_category-source_code-sc-coq

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: 7 days ago
JSON representation

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Coq category for AI2001, containing Coq programming language datasets

• Host: GitHub
• URL: https://github.com/seanpm2001/ai2001_category-source_code-sc-coq
• Owner: seanpm2001
• License: gpl-3.0
• Created: 2023-08-10T22:09:32.000Z (over 1 year ago)
• Default Branch: AI2001_Category-Source_Code-SC-Coq_Main-dev
• Last Pushed: 2023-08-11T04:53:03.000Z (over 1 year ago)
• Last Synced: 2024-10-10T21:40:59.533Z (about 1 month ago)
• Topics: 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
• Language: R
• Homepage: https://github.com/seanpm2001/AI2001_Category-Source_code/
• Size: 2.47 MB
• Stars: 2
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: COPYINGL
  • Codeowners: .github/CODEOWNERS
  • Security: .github/Security/OldVersions/1/1-100/README.txt

Awesome Lists containing this project

README

        

***

# [AI2001](https://github.com/seanpm2001/AI2001/) data sets

## Category: Source Code

### Subcategory (SC): Coq

This dataset is under development/coming soon.

**🌱️ This [`README.md`](/README.md) file is a major stub and need significant expansion**

***

**File version:** `1 (2023, Thursday, August 10th at 08:53 pm PST)`

***