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

6mo ago

Recent commits

Latest commits.

fix: correct universe polymorphism in `Lean.instFromJsonProd`
1f3ef28Eric Wieser35mo ago
doc: link to FFI examples
254582cSebastian Ullrich35mo ago
test: reverse FFI from C with Lake
f19f329Sebastian Ullrich35mo ago
fix: lake: do not hash remote dep names + test
98da3c9tydeu35mo ago
chore: correct doc-string for elabTerm
ca4d824Scott Morrison35mo ago

chore: lake: adapt versioning to Lean repo & bump to v5.0.0

125a0batydeu35mo ago

fix: lake: distinct lib and precompile lib names for roots

0aa5700tydeu35mo ago

feat: lake: warn on mismatch pkg name and require name

bb8259btydeu35mo ago

Top contributors

Builders behind this project.