All pull requests

Pull requests

• Import order-closure and weak Fatou formalization

  #536·Vilin97 opened Sep 26, 2026Owner·

  ·
  11

• chore: bump Lean and Mathlib to v4.35.0-rc3

  #530·github-actions[bot] opened Sep 25, 2026Bot·

  ·
  1

• WIP: Remove blanket section exposure across Lean Pool

  #529·Vilin97 opened Sep 25, 2026Owner·

  ·
  5

• WIP: Import Riemannian curvature and geometric analysis toward Ricci flow

  #512·Vilin97 opened Sep 21, 2026Owner·

  ·
  14

• WIP: Import Davis–Kahan rotation of eigenvectors

  #511·Vilin97 opened Sep 21, 2026Owner·

  ·
  16

• WIP: Import Brill–Noether theory and gonality of finite graphs

  #510·Vilin97 opened Sep 21, 2026Owner·

  ·
  14

• Import Conway refinement for omnific integers

  needs-maintainer
  #509·Vilin97 opened Sep 21, 2026Owner·

  ·
  16

• WIP: Import Equal-area and equal-perimeter convex partitions

  #508·Vilin97 opened Sep 21, 2026Owner·

  ·
  13

• WIP: Import Coarse-graining theory for elliptic equations

  #507·Vilin97 opened Sep 21, 2026Owner·

  ·
  13

• WIP: Import Local and global class field theory

  #506·Vilin97 opened Sep 21, 2026Owner·

  ·
  16

• Import complete fully dynamic matching formalization

  needs-maintainer
  #505·Vilin97 opened Sep 21, 2026Owner·

  ·
  17

• Import complete Carlson special functions formalization

  needs-maintainer
  #504·Vilin97 opened Sep 21, 2026Owner·

  ·
  14

• WIP: import Stafford 3.8

  needs-maintainer
  #503·Vilin97 opened Sep 21, 2026Owner·

  ·
  26

• WIP: import Markoff mod p

  #502·Vilin97 opened Sep 21, 2026Owner·

  ·
  16

• WIP: import Uniform sheafy Tate rings that are not stably uniform

  #501·Vilin97 opened Sep 21, 2026Owner·

  ·
  12

• WIP: Import Beyond Bethe permanent approximation

  #500·Vilin97 opened Sep 21, 2026Owner·

  ·
  14

• WIP: import the Regts–Sevenster conjecture formalization

  #499·Vilin97 opened Sep 21, 2026Owner·

  ·
  16

• Import endpoint estimates for Stein's purely quadratic Carleson operator

  needs-maintainer
  #498·Vilin97 opened Sep 21, 2026Owner·

  ·
  16

• Import Parameter-Free Gradient Minimization in l_p Geometry

  needs-maintainer
  #497·Vilin97 opened Sep 21, 2026Owner·

  ·
  15

• Import Nash's smooth isometric embedding theorem

  #496·Vilin97 opened Sep 21, 2026Owner·

  ·
  14

• Import Li's criterion for the Riemann Hypothesis

  #495·Vilin97 opened Sep 21, 2026Owner·

  ·
  18

• Import inflation termination for classical pair-source networks

  #494·Vilin97 opened Sep 21, 2026Owner·

  ·
  21

• Import Salem’s two-sided approximation theorem

  #493·Vilin97 opened Sep 21, 2026Owner·

  ·
  17

• Import complete superorthogonality estimates

  needs-maintainer
  #492·Vilin97 opened Sep 21, 2026Owner·

  ·
  14

• Import the nonmeagre lower bound for the rearrangement number

  needs-maintainer
  #491·Vilin97 opened Sep 21, 2026Owner·

  ·
  10