Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Very High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Sep 29, 2025 — Oct 29, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
fix: add `cancel` function to the Timer API to make it behave correctly with finalizers and selectables (#10630)
Sofia Rodrigues
More... 22 days ago
test: fix test flakiness (#10680)
Marc Huisinga
More... 23 days ago
fix: `simp` should not pick up inaccessible definitional equations (#10696)
Sebastian Ullrich
More... 23 days ago
chore: more module system fixes and improvements from Mathlib porting (#10655)
Sebastian Ullrich
More... 23 days ago
feat: auto-completion for `end` names (#10660)
Marc Huisinga
More... 23 days ago
fix: Let MVarId.cleanup chase local declarations (#10712)
nomeata
as Joachim Breitner
More... 23 days ago
feat: `USE_LAKE_CACHE` CMake option (#10708)
Mac Malone
More... 23 days ago
feat: anchors for referencing terms in the `grind` state (#10709)
Leonardo de Moura
More... 23 days ago
feat: lake: `allowImportAll` configuration option (#9855)
Mac Malone
More... 23 days ago
feat: make `finish` fail when the goal is not closed (#10707)
Leonardo de Moura
More... 23 days ago
feat: `have` tactic for `grind` interactive mode (#10706)
Leonardo de Moura
More... 23 days ago
feat: add forall_fin_zero and exists_fin_zero (#10627)
François G. Dorais
More... 23 days ago
feat: add `coinductive` command to specify coinductive predicates (#10333)
Wojciech Różowski
More... 23 days ago
fix: induction: do not allow generalizing variables occurring in the `using` clause (#10697)
nomeata
as Joachim Breitner
More... 23 days ago
chore: update stage0
Lean stage0 autoupdater
More... 24 days ago
fix: `Nat.and_distrib_right` -> `Nat.and_or_distrib_right` (#10649)
François G. Dorais
More... 24 days ago
refactor: structural recursion: prove `.eq_def` directly (#10606)
nomeata
as Joachim Breitner
More... 24 days ago
doc: fix url to profile.ts source (#10628)
Yuri de Wit
More... 24 days ago
fix: do not discard `mutual` members on macro use (#10695)
Sebastian Ullrich
More... 24 days ago
chore: CI: bump softprops/action-gh-release from 2.3.2 to 2.3.3 (#10646)
dependabot[bot]
More... 24 days ago
chore: CI: bump actions/stale from 9 to 10 (#10647)
dependabot[bot]
More... 24 days ago
chore: CI: bump actions/github-script from 7 to 8 (#10648)
dependabot[bot]
More... 24 days ago
chore: Modulize: put section below first module doc (#10693)
Sebastian Ullrich
More... 24 days ago
chore: fix the docstring of `PredTrans.conjunctive` (#10691)
Sebastian Graf
More... 24 days ago
fix: `induction` incrementality on removal of extraneous case (#10679)
Sebastian Ullrich
More... 24 days ago
chore: simplify and extend `Modulize.lean` (#10692)
Sebastian Ullrich
More... 24 days ago
doc: typo in docstring of Std.Time.DateTime.now (#10668)
Chris Henson
More... 24 days ago
feat: add `show_*` and `instantiate` grind tactics (#10690)
Leonardo de Moura
More... 24 days ago
feat: add `Std.CancellationToken` type (#10510)
Sofia Rodrigues
More... 24 days ago
feat: add `StreamMap` (#10400)
Sofia Rodrigues
More... 24 days ago