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

15mo ago

Recent commits

Latest commits.

doc: add recommended spellings for many term notations (#6886)
ffa1e9eMarkus Himmel17mo ago
feat: LawfulBEq instances for Array and Vector (#6922)
030daffKim Morrison17mo ago
chore: update release_checklist.md (#6919)
8f5418dKim Morrison17mo ago
chore: update stage0
5930f43Lean stage0 autoupdater17mo ago
feat: `recommended_spelling` command (#6869)
0f5dcedMarkus Himmel17mo ago

chore: split RELEASES.md into releases/ folder (#6918)

13e2a02Johan Commelin17mo ago

refactor: post-stage0 clean-up for #6898 (#6920)

8edadddJoachim Breitner17mo ago

chore: update stage0

eab91e6Lean stage0 autoupdater17mo ago

Top contributors

Builders behind this project.