All pull requests

Pull requests

• doc: recommend lake comparator on "Did you prove it?"

  #937·Deicyde opened Oct 31, 2026·

  ·

• doc: explain Batteries adaptation PRs

  #936·marcelolynch opened Oct 29, 2026·1 task·

  ·

• Separate external formalizations from the Mathlib 100 theorem list

  #933·kim-em opened Oct 21, 2026Collaborator·

  ·
  2

• feat: add link to termCongr to extras/congr.md

  #932·user202729 opened Oct 18, 2026·

  ·

• chore: mathlib style guide and naming conventions have moved

  #920·grunweg opened Sep 24, 2026Contributor·

  ·
  3

• Guidance on breaking changes

  #912·b-mehta opened Sep 9, 2026Contributor·

  ·
  8

• feat(contribute/commit.md): allow commit subject to start with uppercase letter

  #905·joneugster opened Aug 26, 2026Contributor·

  ·
  3

• feat: mention #min_imports in imports style documentation

  #896·JadAbouHawili opened Aug 13, 2026·

  ·
  8

• feat(teams): add a pointer to the cslib team

  #858·grunweg opened May 29, 2026Contributor·

  ·
  2

• chore(how-to-contribute): remove portion about (re)moving declarations

  awaiting-author
  #849·grunweg opened May 22, 2026Contributor·

  ·
  8

• wip: document the simp-all tactic in the simp guide

  #848·grunweg opened May 22, 2026Contributor·

  ·

• Update PR guidelines to refer to pull request conventions

  #822·JadAbouHawili opened Apr 11, 2026·

  ·

• partial derivatives guide

  #800·lecopivo opened Feb 26, 2026·

  ·
  17

• CI: check for dead links

  #792·Vierkantor opened Feb 19, 2026Contributor·

  ·
  7

• Update naming.md: ne_zero guidelines

  #789·Timeroot opened Feb 18, 2026Contributor·

  ·
  3

• Update commit message guidelines in contribute.md

  awaiting-author
  #753·marwahaha opened Dec 3, 2025·

  ·
  2

• chore(documentation.yaml): add Metaprogramming in Lean 4

  #752·Vierkantor opened Dec 2, 2025Contributor·

  ·

• Add schema.org structured data to events page

  #739·jessealama opened Nov 11, 2025Contributor·

  ·
  1

  6