lean-language

There are 4 repositories under lean-language topic.

kassane/lean4-zig
Zig bindings for Lean4
Language:Zig8 0 51
seanpm2001/AI2001_Category-Source_Code-SC-Lean
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Lean category for AI2001, containing Lean programming language datasets
Language:R3 3 01
seanpm2001/Learn-Lean
A repository for showcasing my knowledge of the Lean programming language, and continuing to learn the language.
Language:Lean3 3 01
seanpm2001/SNU_2D_ProgrammingTools_IDE_Lean
The Lean Programming language IDE submodule for SNU Programming Tools.
Language:Lean3 3 01