Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: lean-sc-dataset

seanpm2001/AI2001_Category-Source_Code-SC-Lean

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

Language: R - Size: 2.46 MB - Last synced at: 7 days ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 1

Related Keywords
ai 1 ai-2001 1 ai-2001-dataset 1 ai-2001-development 1 ai2001 1 ai2001-dataset 1 ai2001-development 1 artificial-intelligence 1 dataset 1 gpl3 1 gplv3 1 lean 1 lean-lang 1 lean-language 1 lean-sc-dataset 1 md 1 r-language 1 rmarkdown-language 1 source-code-dataset 1 txt 1