lean-lang

There are 0 repository under lean-lang 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
Learn-Lean
seanpm2001 / Learn-Lean
A repository for showcasing my knowledge of the Lean programming language, and continuing to learn the language.
article gpl3 gplv3 knowledge lean learn md seanpm2001 seanpm2001-education seanpm2001-learn txt lean-collection lean-lang lean-language learn-lean learn-lean-lang learn-lean-language
Language:Lean 3