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

18d ago

Recent commits

Latest commits.

feat: support serializing closures in `CompactedRegion.save` (#13891)
bfad38bSebastian Ullrich19d ago
doc: fix case syntax in mvcgen docs (#13745)
df865dfFrancisco Giordano20d ago
chore: preserve erased specs through mvcgen' spec DB migration (#13897)
729a662Sebastian Graf20d ago
feat: improve `processLevel` at `Sym/Pattern.lean` (#13896)
1744bf5Leonardo de Moura20d ago
chore: localize `unfoldReducible` cost in mvcgen' `.proj` reduction (#13887)
c743a57Sebastian Graf20d ago

feat: collect local mvcgen' specs from in-scope hypotheses (#13888)

8076fa0Sebastian Graf20d ago

chore: revert "feat: collect local mvcgen' specs from in-scope hypotheses" (#13885)

e37c3afSebastian Graf20d ago

feat: collect local mvcgen' specs from in-scope hypotheses (#13883)

c2c3db2Sebastian Graf20d ago

Top contributors

Builders behind this project.