GitHub topics: lean-language
kassane/lean4-zig
Zig bindings for Lean4
Language: Zig - Size: 58.6 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 1
seanpm2001/AI2001_Category-Source_Code-SC-Lean
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Lean category for AI2001, containing Lean programming language datasets
Language: R - Size: 2.46 MB - Last synced at: 1 day ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 1
seanpm2001/SNU_2D_ProgrammingTools_IDE_Lean
The Lean Programming language IDE submodule for SNU Programming Tools.
Language: Lean - Size: 314 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1
seanpm2001/Learn-Lean
A repository for showcasing my knowledge of the Lean programming language, and continuing to learn the language.
Language: Lean - Size: 274 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1