Search results

feat: Laws for <code>MonadStateOf</code> instances

awaiting-reviewThis PR is ready for review; the author thinks it is ready to be merged.This PR is ready for review; the author thinks it is ready to be merged.

builds-mathlib

Status: Open (in progress).

leanprover-community/batteriesnumber 1313

#1313 In leanprover-community/batteries;

· dtumad opened on Jul 3, 2025

feat: add code action to generate <code>match</code> cases

awaiting-reviewThis PR is ready for review; the author thinks it is ready to be merged.This PR is ready for review; the author thinks it is ready to be merged.

builds-mathlib

Status: Open (in progress).

leanprover-community/batteriesnumber 1307

#1307 In leanprover-community/batteries;

· MoritzBeroRoos opened on Jul 1, 2025

chore: deprecate old comparison classes

builds-mathlib

WIPwork in progresswork in progress

Status: Open (in progress).

leanprover-community/batteriesnumber 1306

#1306 In leanprover-community/batteries;

· fgdorais opened on Jul 1, 2025

feat: fix some issues with <code>equals t =&gt; tac</code>

awaiting-authorWaiting for PR author to address issuesWaiting for PR author to address issues

builds-mathlib

Status: Open (in progress).

leanprover-community/batteriesnumber 1291

#1291 In leanprover-community/batteries;

· plp127 opened on Jun 26, 2025

feat: adding proofs on List.toChunks function

awaiting-authorWaiting for PR author to address issuesWaiting for PR author to address issues

builds-mathlib

Status: Open (in progress).

leanprover-community/batteriesnumber 1279

#1279 In leanprover-community/batteries;

· Colin166 opened on Jun 17, 2025

feat: lemmas about <code>Nat.toDigits</code>

awaiting-reviewThis PR is ready for review; the author thinks it is ready to be merged.This PR is ready for review; the author thinks it is ready to be merged.

builds-mathlib

Status: Open (in progress).

leanprover-community/batteriesnumber 1267

#1267 In leanprover-community/batteries;

· marcusrossel opened on Jun 7, 2025

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.This 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.This PR has merge conflicts with the `main` branch which must be resolved by the author.

Status: Open (in progress).

leanprover-community/batteriesnumber 1214

#1214 In leanprover-community/batteries;

· jcommelin opened on Apr 28, 2025

feat: Shake autodetects which module(s) to shake

builds-mathlib

WIPwork in progresswork in progress

Status: Open (in progress).

leanprover-community/batteriesnumber 1205

#1205 In leanprover-community/batteries;

· Vierkantor opened on Apr 10, 2025

chore: upstream shake from Mathlib to Batteries

builds-mathlib

WIPwork in progresswork in progress

Status: Open (in progress).

leanprover-community/batteriesnumber 1204

#1204 In leanprover-community/batteries;

· Vierkantor opened on Apr 10, 2025

implement <code>List.max!</code> and <code>List.min!</code>

awaiting-authorWaiting for PR author to address issuesWaiting for PR author to address issues

builds-mathlib

Status: Open (in progress).

leanprover-community/batteriesnumber 1174

#1174 In leanprover-community/batteries;

· Seasawher opened on Mar 24, 2025

feat: add well founded streams

awaiting-authorWaiting for PR author to address issuesWaiting for PR author to address issues

builds-mathlib

Status: Open (in progress).

leanprover-community/batteriesnumber 1079

#1079 In leanprover-community/batteries;

· fgdorais opened on Dec 25, 2024

feat: add basic operations for polynomials over GF(2)

builds-mathlib

merge-conflictThis PR has merge conflicts with the `main` branch which must be resolved by the author.This PR has merge conflicts with the `main` branch which must be resolved by the author.

WIPwork in progresswork in progress

Status: Draft (not ready).

leanprover-community/batteriesnumber 1077

#1077 In leanprover-community/batteries;

· fgdorais opened on Dec 22, 2024