Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
Appearance settings

Pull requests: leanprover-community/batteries

Author
Filter by author
Loading
Label
Filter by label
Loading
Usealt +click/return to exclude labels
or⇧ +click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobodyLoading
Sort

Pull requests list

feat: Laws forMonadStateOf instances awaiting-reviewThis PR is ready for review; the author thinks it is ready to be merged. builds-mathlib
#1313 openedJul 3, 2025 bydtumadLoading…
feat: Add ascii-case insensitive eq forChar awaiting-authorWaiting for PR author to address issues breaks-mathlib
#1312 openedJul 3, 2025 byammkrnLoading…
feat: add@[simp] lemmaWellFounded.val_wrap awaiting-reviewThis PR is ready for review; the author thinks it is ready to be merged. breaks-mathlib
#1308 openedJul 1, 2025 byplp127Loading…
feat: add code action to generatematch cases awaiting-reviewThis PR is ready for review; the author thinks it is ready to be merged. builds-mathlib
#1307 openedJul 1, 2025 byMoritzBeroRoosLoading…
chore: deprecate old comparison classes builds-mathlib WIPwork in progress
#1306 openedJul 1, 2025 byfgdoraisLoading…
feat: addNat.Digits WIPwork in progress
#1293 openedJun 26, 2025 byfgdorais • Draft
feat: fix some issues withequals t => tac awaiting-authorWaiting for PR author to address issues builds-mathlib
#1291 openedJun 26, 2025 byplp127Loading…
feat: ascii case insensitive Char/String compare awaiting-authorWaiting for PR author to address issues breaks-mathlib
#1283 openedJun 18, 2025 byammkrnLoading…
feat: adding proofs on List.toChunks function awaiting-authorWaiting for PR author to address issues builds-mathlib
#1279 openedJun 17, 2025 byColin166Loading…
feat: lemmas aboutNat.toDigits awaiting-reviewThis PR is ready for review; the author thinks it is ready to be merged. builds-mathlib
#1267 openedJun 7, 2025 bymarcusrosselLoading…
fix: usegetRel in@[trans] attribute awaiting-authorWaiting for PR author to address issues breaks-mathlib
#1223 openedMay 4, 2025 bydigama0Loading…
chore(Tactic/Lint/Simp): add local hypotheses to simp context awaiting-reviewThis PR is ready for review; the author thinks it is ready to be merged. builds-mathlib merge-conflictThis PR has merge conflicts with the `main` branch which must be resolved by the author.
#1214 openedApr 28, 2025 byjcommelinLoading…
feat: Shake autodetects which module(s) to shake builds-mathlib WIPwork in progress
#1205 openedApr 10, 2025 byVierkantorLoading…
chore: upstream shake from Mathlib to Batteries builds-mathlib WIPwork in progress
#1204 openedApr 10, 2025 byVierkantorLoading…
implementList.max! andList.min! awaiting-authorWaiting for PR author to address issues builds-mathlib
#1174 openedMar 24, 2025 bySeasawherLoading…
Previous13
Previous
ProTip! Typegi on any issue or pull request to go back to the issue listing page.
[8]ページ先頭
©2009-2025 Movatter.jp