All pull requests

Pull requests

• [CI] Make compiled policy checks scale

  CLA Signed
  #85·akiezun opened Oct 5, 2026Contributor·

  ·
  1

• [formal-math] Import NumberTheory 16: NumberTheory, Sequences

  CLA Signed
  #81·akiezun opened Oct 5, 2026Contributor·

  ·
  1

• [formal-math] Import NumberTheory 13: Ramanujan, PrimeInterval

  CLA Signed
  #78·akiezun opened Oct 5, 2026Contributor·

  ·
  1

• [formal-math] Import NumberTheory 06: Digits, NumberTheory

  CLA Signed
  #71·akiezun opened Oct 5, 2026Contributor·

  ·
  1

• [formal-math] Import Geometry 01: EllipticCurve, Convex

  CLA Signed
  #61·akiezun opened Oct 5, 2026Contributor·

  ·
  1

• [formal-math] Import Combinatorics 17: Words, GameTheory

  CLA Signed
  #60·akiezun opened Oct 5, 2026Contributor·

  ·
  1

• [formal-math] Import Combinatorics 11: Graph, Enumerative

  CLA Signed
  #54·akiezun opened Oct 5, 2026Contributor·

  ·
  1

• [formal-math] Import Combinatorics 05: Enumerative, NumberTheory

  CLA Signed
  #48·akiezun opened Oct 5, 2026Contributor·

  ·
  1

• [formal-math] Import Combinatorics 04: Enumerative, Combinatorics

  CLA Signed
  #47·akiezun opened Oct 5, 2026Contributor·

  ·
  1

• [formal-math] Import Analysis 03: Ramanujan, LSeries

  CLA Signed
  #27·akiezun opened Oct 5, 2026Contributor·

  ·
  1

• [formal-math] Import Algebra 03: GroupTheory, BurnsidePaqb

  CLA Signed
  #20·akiezun opened Oct 5, 2026Contributor·

  ·
  1

• Use the official Codex action outside fairinternal

  CLA Signed
  #15·akiezun opened Oct 5, 2026Contributor·

  ·

• Bump the actions-version-updates group across 1 directory with 3 updates

  CLA Signeddependenciesgithub_actions
  #14·dependabot[bot] opened Oct 5, 2026Bot·

  ·

• Add CDIS probability entry (Mines Paris course)

  CLA Signed
  #10·Paul-Antoine-Bonin opened Oct 2, 2026·

  ·
  2

• feat: kernel-grounded sorry/axiom auditor (lake exe atlas_audit) + first CI

  CLA Signed
  #2·mvanhorn opened May 28, 2026·

  ·
  2