L

lean

Settings | Report Duplicate

0

I Use This!

Very High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Feb 14, 2025 — Feb 14, 2026 Showing page 1 of 1,317 Search / Filter on:
fix: handle heterogeneous equality in `closeGoalWithValuesEq` (#12477)	Leonardo de Moura	More...				2 days ago
chore: update stage0	Lean stage0 autoupdater	More...				2 days ago
fix: treat `outParam` arguments as support in e-matching patterns (#12476)	Leonardo de Moura	More...				2 days ago
fix: handle delayed mvar assignments in `grind` when hypotheses contain mvars (#12475)	Leonardo de Moura	More...				2 days ago
fix: handle non-internalized terms in semiring reifier (#12474)	Leonardo de Moura	More...				2 days ago
fix: assertion violation in `mkEqProofImpl` (#12473)	Leonardo de Moura	More...				2 days ago
fix: disable order and funCC modules in NoopConfig (#11744)	Kim Morrison	More...				2 days ago
fix: inherit correct docstring (#12468)	Paul Reichert	More...				3 days ago
fix: remove redundant namespace (#12454)	Paul Reichert	More...				3 days ago
fix: handle `AppBuilderException` in `cbv` tactic if the projection function is dependent (#12460)	Wojciech Różowski	More...				3 days ago
test: add `cbv` benchmark for evaluating `Decidable.decide` (#12467)	Wojciech Różowski	More...				3 days ago
perf: make proper use of deletes in bv_decide LRAT checking (#12406)	Henrik Böving	More...				3 days ago
perf: boxing a uint64 yields and object not a tobject (#12465)	Henrik Böving	More...				3 days ago
fix: handle 0 sized reads from handles correctly (#12466)	Henrik Böving	More...				3 days ago
chore: put compiler off critical path (#12464)	Henrik Böving	More...				3 days ago
refactor: port Boxing from IR to LCNF (#12458)	Henrik Böving	More...				3 days ago
fix: nightly revision date logic and mathlib trigger auth (#12463)	Kim Morrison	More...				3 days ago
doc: add IJCAR 2026 grind paper examples (#12462)	Kim Morrison	More...				3 days ago
feat: support revised nightly releases (`nightly-YYYY-MM-DD-revK`) (#12461)	Kim Morrison	More...				3 days ago
refactor: remove unnecessary use of `constNames` in `LazyDiscrTree` (#12422)	Kim Morrison	More...				3 days ago
feat: verification of `String.positions`, `String.chars`, `String.revPositions`, `String.revChars`, `ForIn m String Char` (#12456)	Markus Himmel	More...				4 days ago
chore: mitigate noncomputable section issues in the code generator (#12453)	Henrik Böving	More...				4 days ago
doc: improve docstrings for `cbv` and `decide_cbv` (#12439)	Wojciech Różowski	More...				4 days ago
perf: fold Task.get (Task.pure x) to just x (#12446)	Henrik Böving	More...				4 days ago
chore: move string iteration to a new file (#12450)	Markus Himmel	More...				4 days ago
chore: simplify `Char.toString` to `String.singleton` (#12449)	Markus Himmel	More...				4 days ago
feat: lake: hard link cache artifacts (#12203)	Mac Malone	More...				4 days ago
feat: lake: `lake cache clean` (#12444)	Mac Malone	More...				4 days ago
test: add Sym vcgen benchmarks get_throw_set and deep_add_sub_cancel (#12447)	Sebastian Graf	More...				4 days ago
feat: `DecidableEq` instances for range types (#12442)	Paul Reichert	More...				4 days ago

←
1
2
3
4
5
6
7
8
9
…
1316
1317
→