teorthPFR

Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
#math #additive-combinatorics #information-theory
Displaying 1-2 of 2 packages depending on teorth/PFR
Sort by

  1. mbrcic/ai-safety-formalization-atlasusesv4.33.0

    The open workbench for AI safety, made formal. Turn safety questions into machine-checked Lean proofs — a shared launchpad where researchers and AI agents build provable safety together.

  2. Shilun-Allan-Li/tCSlibusesv4.25.0

    Lean 4 Theoretical Computer Science Library