#
lean-language
Here are 4 public repositories matching this topic...
The Lean Programming language IDE submodule for SNU Programming Tools.
web-development
programming
web-ide
gplv3
ide
lean
md
txt
snu
gpl3
snu2d-programmingtools
snu-2d
snu-programming-tools
snu-2d-programmingtools
snu-development
snu-2d-programming-tools
snuprogrammingtools
snu2dprogrammingtools
lean-language
learn-lang
-
Updated
Sep 19, 2022 - Lean
A repository for showcasing my knowledge of the Lean programming language, and continuing to learn the language.
knowledge
article
gplv3
learn
lean
md
txt
gpl3
seanpm2001
seanpm2001-education
seanpm2001-learn
lean-lang
lean-language
learn-lean
learn-lean-lang
learn-lean-language
lean-collection
-
Updated
Sep 19, 2022 - Lean
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Lean category for AI2001, containing Lean programming language datasets
ai
gplv3
artificial-intelligence
dataset
lean
r-language
md
txt
gpl3
lean-lang
lean-language
rmarkdown-language
ai2001
ai-2001
ai2001-dataset
ai-2001-dataset
ai2001-development
ai-2001-development
source-code-dataset
lean-sc-dataset
-
Updated
Jun 13, 2023 - R
Improve this page
Add a description, image, and links to the lean-language topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the lean-language topic, visit your repo's landing page and select "manage topics."