LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Lean

lean4

Lean 4 programming language and theorem prover

LeanEmerging

Stars

—

Forks

—

Contributors

8

Last push

19mo ago

Recent commits

Latest commits.

Add trace
f0dc3beDaniel Weber19mo ago
Attempt tweaking defeq heuristic
937190fDaniel Weber19mo ago
feat: getElem lemmas for Vector operations (#6324)
6e60d13Kim Morrison19mo ago
chore: protect Fin.cast and BitVec.cast (#6315)
019f8e1Kim Morrison19mo ago
chore: generalize universe in Array.find? (#6318)
c366a29Kim Morrison19mo ago

feat: upstream `ToLevel` from mathlib (#6285)

1400b95Alex Keizer19mo ago

feat: lemmas about for loops over `Option` (#6316)

00c7b85Kim Morrison19mo ago

fix: missing `HEq` support at `ToLCNF` (#6311)

f6e88e5Leonardo de Moura19mo ago

Top contributors

Builders behind this project.