google-deepmindimo

Lean formalizations of IMO problem statements
#formal-mathematics #international-mathematics-olympiad
Sort by
  1. Registry dependency.
    Found on Reservoir.

    formal_conjecturesv4.22.0

    A collection of formalized statements of conjectures in Lean.
  2. Registry dependency.
    Found on Reservoir.

    mathlibv4.22.0

    The math library of Lean 4