anaxia-researchYangMills

Yang-Mills research: lattice results, conditional continuum arguments, and explicit mass-gap proof obligations.
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlibv4.33.0

    The math library of Lean 4