AI2001 data sets
This dataset is under development/coming soon.
🌱️ This README.md
file is a major stub and need significant expansion
File version: 1 (2023, Thursday, August 10th at 08:53 pm PST)
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Coq category for AI2001, containing Coq programming language datasets
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Coq category for AI2001, containing Coq programming language datasets