Lean
Lean is a functional programming language that makes it easy to write correct
and maintainable code. You can also use Lean as an interactive theorem prover.
Lean programming primarily involves defining types and functions. This allows
your focus to remain on the problem domain and manipulating its data, rather
than the details of programming.
Here are 203 public repositories matching this topic...
Lean 3's obsolete mathematical components library: please use mathlib4
-
Updated
Jun 28, 2024 - Lean
Bug-free machine learning on stochastic computation graphs
-
Updated
Mar 3, 2019 - Lean
A project to digitalise results from physics into Lean.
-
Updated
Oct 20, 2025 - Lean
Helper toolkit for creating your own Lean 4 UserWidgets
-
Updated
Oct 21, 2025 - Lean
A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
-
Updated
Oct 10, 2025 - Lean
The matrix cookbook, proved in the Lean theorem prover
-
Updated
Sep 16, 2025 - Lean
コード例で学ぶ Lean 言語
-
Updated
Oct 20, 2025 - Lean
Formally Verified Arguments of Knowledge in Lean
-
Updated
Oct 20, 2025 - Lean
Learn Lean 4 with PLFA proofs.
-
Updated
Apr 8, 2025 - Lean
Ground Zero: Lean 4 HoTT Library
-
Updated
Oct 14, 2025 - Lean
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
-
Updated
Jul 18, 2024 - Lean
Created by Leonardo de Moura
Released 2013
- Followers
- 39 followers
- Repository
- leanprover/lean
- Website
- github.com/topics/lean
- Wikipedia
- Wikipedia