All pull requests

Pull requests

• Update Batteries branch for testing batteries 2025

  #313·Kha opened Oct 13, 2026·

  ·
  2

• Update Batteries branch for testing batteries 1996

  #308·JovanGerb opened Oct 1, 2026·

  ·
  2

• [benchmark] 14519

  #282·datokrat opened Jul 31, 2026·

  ·
  2

• [benchmark] leanprover/lean4#14323

  #264·datokrat opened Jul 8, 2026·

  ·
  2

• [benchmark] leanprover/lean4#14248

  #261·datokrat opened Jul 3, 2026·

  ·
  2

• benchmark respectTransparency

  #236·datokrat opened Jun 5, 2026·

  ·
  8

• Add backward.simpa.using.reducibleClose to 1300+ files

  #216·Deicyde opened May 7, 2026·

  ·

• fixes in Algebra/Homology/HomologicalComplex

  #212·jcommelin opened Apr 24, 2026Member·

  ·

• feat(CI): add upload & download via lake cache

  #203·tydeu opened Mar 27, 2026·

  ·
  12

• Lean pr testing 12635

  #188·riccardobrasca opened Feb 21, 2026Member·

  ·

• chore: adaptations for lean4#12459

  #187·sgraf812 opened Feb 21, 2026·

  ·

• [Lean PR benchmarking]

  #135·datokrat opened Dec 5, 2025·

  ·
  2

• chore: adapt to lean4#10526

  #74·thorimur opened Sep 23, 2025·

  ·

• feat(Cache): make use of local Lake artifact cache

  #4·tydeu opened Jun 28, 2025·

  ·
  1