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, September 21st at 10:41 pm PST)
seanpm2001/AI2001_Category-Source_Code-SC-Isabelle
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
