LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

lean4

Lean 4 programming language and theorem prover

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

5mo ago

Recent commits

Latest commits.

test: add `leanchecker` benchmark (#11959)
eaf8cf1Sebastian Ullrich5mo ago
test: `implies` vs `Arrow` `Sym.simp` benchmark (#11966)
cae739cLeonardo de Moura5mo ago
fix: avoid panic in async elaboration for theorems with docstrings in `where` (#11896)
9280a0bKim Morrison5mo ago
fix: allow private proof-valued structure fields in library suggestions (#11962)
e42262eKim Morrison5mo ago
chore: add CI log retrieval guidance to CLAUDE.md (#11964)
a96ae4bKim Morrison5mo ago

refactor: derive BEq for Option earlier in import chain (#11960)

1403994Kim Morrison5mo ago

feat: add `first_par` combinator for `try?` with `grind +locals` (#11949)

5bb7f37Kim Morrison5mo ago

chore: extract shared match splitting impl from FunInd and `mvcgen` (#11953)

15a719cSebastian Graf5mo ago

Top contributors

Builders behind this project.