mbrcicai-safety-formalization-atlas0.8.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.
Sort by
  1. Git dependency.
    Not found on Reservoir.

    Causaleane298f64

  2. Git dependency.
    Found on Reservoir.

    PFRv4.33.0

    Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  3. Git dependency.
    Found on Reservoir.

    Foundation30a16ff

    Formalization of Mathematical Logic
  4. Git dependency.
    Found on Reservoir.

    mathlibv4.33.0

    The math library of Lean 4