lean-language

There are 1 repository under lean-language topic.

kassane / lean4-zig
Zig bindings for Lean4
lean4 zig ziglang ffi-bindings lean lean-language
Language:Zig 6
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
SNU_2D_ProgrammingTools_IDE_Lean
seanpm2001 / SNU_2D_ProgrammingTools_IDE_Lean
The Lean Programming language IDE submodule for SNU Programming Tools.
gpl3 gplv3 ide lean lean-language md programming snu snu-2d snu-2d-programming-tools snu-2d-programmingtools snu-development snu-programming-tools snu2d-programmingtools snu2dprogrammingtools snuprogrammingtools txt web-development web-ide learn-lang
Language:Lean 3