LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

lean4

Lean 4 programming language and theorem prover

LeanEmerging

Stars

—

Forks

—

Contributors

8

Last push

7mo ago

Recent commits

Latest commits.

feat: new constraints in `grind_pattern` (#11391)
a4f9a79Leonardo de Moura7mo ago
chore: run Mathlib's `verify_version_tags.py` in `release_checklist.py` (#11392)
490d714Kim Morrison7mo ago
chore: CI validates release tag against CMakeLists.txt (#11374)
9220ee3Kim Morrison7mo ago
chore: update stage0
130d3cbLean stage0 autoupdater7mo ago
chore: update stage0
ae5db72Lean stage0 autoupdater7mo ago

doc: correct grammar error in array indexing panic message (#11368)

3b43156MJ1415927mo ago

fix: typo in documentation of `leOfOrd` (#11387)

644a217Théophile Wallez7mo ago

fix: miscompilation resulting in minor memory leak on extern projections with unboxed arguments (#11383)

17e8765Sebastian Ullrich7mo ago

Top contributors

Builders behind this project.