L

lean

Settings | Report Duplicate

0

I Use This!

Very High Activity

Commits : Listings

Analyzed about 19 hours ago. based on code collected about 20 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Sep 23, 2025 — Oct 23, 2025 Showing page 1 of 11 Search / Filter on:
test: symbol clash on private import of same def (#10915)	Mac Malone	More...				about 21 hours ago
feat: `grind +lax` ignores bad parameters (#10890)	Kim Morrison	More...				about 22 hours ago
feat: `grind` "silent" `have` (#10919)	Leonardo de Moura	More...				about 22 hours ago
feat: `instantiate` tactic parameter optimizer (#10916)	Leonardo de Moura	More...				about 24 hours ago
chore: minor changes to MePo (#10917)	Kim Morrison	More...				about 24 hours ago
chore: minor optimizations on the critical path (#10900)	Markus Himmel	More...				1 day ago
feat: preserve instantiation order at `finish?` (#10899)	Leonardo de Moura	More...				1 day ago
chore: move some material out of `Init.Data.String.Basic` (#10893)	Markus Himmel	More...				1 day ago
perf: mark move constructors and assignment operators as noexcept (#10784)	Eric Wieser	More...				1 day ago
feat: zero cost BaseIO (#10625)	Henrik Böving	More...				1 day ago
doc: fix example parenthesis in natAbs docstring (#10870)	Hikaru Hasegawa	More...				1 day ago
chore: minor `String` improvements (#10891)	Markus Himmel	More...				2 days ago
chore: updates to release automation (#10888)	Kim Morrison	More...				2 days ago
feat: use new `TermInfo.isDisplayableTerm` when hovering `grind` anchors (#10887)	Leonardo de Moura	More...				2 days ago
chore: add `Rat.max_def` lemma (#10886)	Kim Morrison	More...				2 days ago
fix: lake: cache revision path (#10883)	Mac Malone	More...				2 days ago
chore: begin development cycle for v4.26 (#10884)	Kim Morrison	More...				2 days ago
chore: release_steps runs lake exe cache get when needed (#10882)	Kim Morrison	More...				2 days ago
fix: `grind` proof instability (#10881)	Leonardo de Moura	More...				2 days ago
fix: propagation in `grind order` (#10877)	Leonardo de Moura	More...				2 days ago
fix: ipv4 address encoding from libuv to lean (#10854)	Sofia Rodrigues	More...				2 days ago
fix: elaborate `grind` state filter (#10874)	Leonardo de Moura	More...				3 days ago
chore: add missing spec lemmas for `OptionT` (#10867)	Sebastian Graf	More...				3 days ago
fix: rule of 3 for xtimit (#10818)	Eric Wieser	More...				3 days ago
fix: improve performance of `mvcgen` by optimizing `try (mpure_intro; trivial)` (#10872)	Sebastian Graf	More...				3 days ago
chore: rename `String.endPos` -> `String.rawEndPos` (#10853)	Markus Himmel	More...				3 days ago
fix: logic error in `String.Slice.takeWhile` (#10868)	Markus Himmel	More...				3 days ago
chore: fix a typo in the docstring for `SeqRight` and add documentation to `getLevel` (#10866)	Sebastian Graf	More...				3 days ago
fix: make `Std.Do.Spec.forIn'_list` and friends more universe polymorphic (#10865)	Sebastian Graf	More...				3 days ago
perf: reduce amount of symbols in DLLs (#10864)	Henrik Böving	More...				3 days ago

←
1
2
3
4
5
6
7
8
9
10
11
→