LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Lean

lean4

Lean4 work in progress repo

LeanEmerging

Stars

—

Forks

—

Contributors

8

Last push

29d ago

Recent commits

Latest commits.

feat: use explicit allowlist instead of transparency bump in whnfMatcher (#13363)
5b87ab6Joachim Breitner2mo ago
test: `grind` homomorphism predicates (#13520)
45bdae8Leonardo de Moura2mo ago
refactor: move Async and Http from Internal to Std (#13511)
2e48cd2Sofia Rodrigues2mo ago
refactor: lake: use `modifyGet` in `StoreInsts` (#13517)
5637b33Mac Malone2mo ago
fix: lake: namespace in `Lake.Util.Opaque` (#13516)
848122dMac Malone2mo ago

fix: do not bump transparency to instances in eqn LHS whnf (#13512)

1e0ddbbJoachim Breitner2mo ago

feat: inject `unreachable!` after break-less `repeat` (#13506)

e3d4240Sebastian Graf2mo ago

feat: pluggable `pure`/`bind` builders for `do` elaboration (#13507)

525021cSebastian Graf2mo ago

Top contributors

Builders behind this project.