lean-sc-dataset

There are 0 repository under lean-sc-dataset topic.

AI2001_Category-Source_Code-SC-Lean
seanpm2001 / AI2001_Category-Source_Code-SC-Lean
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Lean category for AI2001, containing Lean programming language datasets
ai ai-2001 ai-2001-dataset ai-2001-development ai2001 ai2001-dataset ai2001-development artificial-intelligence dataset gpl3 gplv3 lean lean-lang lean-language md r-language rmarkdown-language source-code-dataset txt lean-sc-dataset
Language:R 3