LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

lean4

Lean 4 programming language and theorem prover

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

5d ago

Recent commits

Latest commits.

feat: simp to still work even if one simp arg does not work (#4177)
f65e3aeJoachim Breitner25mo ago
feat: getLsb_sshiftRight (#4179)
81f5b07Siddharth25mo ago
feat: getLsb_{rotateLeft, rotateRight} (#4257)
9a597aeSiddharth25mo ago
feat: add BitVec _assoc lemmas (#4299)
ff116daTobias Grosser25mo ago
doc: updated build instructions for mac os X (#4317)
0dff570John Tristan25mo ago

chore: remove @[simp] from bind_eq_some (#4314)

299cb9aKim Morrison25mo ago

fix: miscompilation in constant folding (#4311)

b53a74dLeonardo de Moura25mo ago

chore: update stage0

007b423Lean stage0 autoupdater25mo ago

Top contributors

Builders behind this project.