chore: adaptations for leanprover/lean4#3756#765
Draft
FR-vdash-bot wants to merge 373 commits intoleanprover-community:nightly-testingfrom FR-vdash-bot:lean4-pr-3756
+132-2,146
Commits
This pull request is big! We're only showing the most recent 250 commits
Commits on Feb 16, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 17, 2024
Commits on Feb 18, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 19, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 20, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 21, 2024
Commits on Feb 22, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 24, 2024
Commits on Feb 25, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 26, 2024
Commits on Feb 27, 2024
- authored
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 28, 2024
- committed
- authored
- committed
- committed
- committed
- committed
- committed
Commits on Feb 29, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 1, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 2, 2024
Commits on Mar 4, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed
- committed
Commits on Mar 5, 2024
- committed
- committed
- committed
- committed
Commits on Mar 6, 2024
Commits on Mar 7, 2024
Commits on Mar 8, 2024
Commits on Mar 9, 2024
Commits on Mar 10, 2024
Commits on Mar 11, 2024
Commits on Mar 12, 2024
- committed
- committed
- authored
- committed
- committed
- committed
- committed
- authored
Commits on Mar 13, 2024
Commits on Mar 14, 2024
Commits on Mar 15, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 16, 2024
Commits on Mar 17, 2024
Commits on Mar 18, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 19, 2024
Commits on Mar 20, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 21, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 22, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 23, 2024
Commits on Mar 24, 2024
Commits on Mar 25, 2024
Commits on Mar 26, 2024
Commits on Mar 27, 2024
Commits on Mar 28, 2024
Commits on Mar 29, 2024
Commits on Mar 30, 2024
Commits on Apr 1, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Apr 2, 2024
Commits on Apr 3, 2024
Commits on Apr 4, 2024
Commits on Apr 5, 2024
Commits on Apr 7, 2024
Commits on Apr 8, 2024
Commits on Apr 9, 2024
Commits on Apr 11, 2024
Commits on Apr 12, 2024
Commits on Apr 13, 2024
Commits on Apr 14, 2024
Commits on Apr 15, 2024
Commits on Apr 16, 2024
Commits on Apr 17, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 18, 2024
- committed
- committed
fix: Data.List.Lemmas shoud import Data.List.Init.Lemmas on nightly-testing (leanprover-community#746)
authored- committed
- committed
- committed
Commits on Apr 19, 2024
Commits on Apr 20, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Apr 21, 2024
- committed
- committed
- committed
