MichaelStollBayreuthlegendre_QF

Lean code formalizing a proof of Legendre's theorem on diagonal ternary quadratic forms
Displaying 1-16 of 16 versions of legendre_QF
Sort by
  1. Not a part of any version track.
    f09d4e4
    v4.31.0
    5 days ago
    Released on June 23, 2026 at 12:05:23PM
    Commit f09d4e4 builds on its recent leanprover/lean4:v4.31.0
    v4.31.0
    1.1 MB Build archive size: 1134722 bytes.
  2. Not a part of any version track.
    f09d4e4
    v4.31.0
    5 days ago
    Released on June 23, 2026 at 12:05:23PM
    Commit f09d4e4 builds on its recent leanprover/lean4:v4.31.0
    v4.31.0
    1.1 MB Build archive size: 1134722 bytes.
  3. Not a part of any version track.
    3ecebe0
    v4.30.0
    5 days ago
    Released on June 23, 2026 at 12:00:59PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  4. Not a part of any version track.
    d5d70bd
    v4.29.0
    3 months ago
    Released on April 10, 2026 at 8:52:48PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.29.0
  5. Not a part of any version track.
    843922d
    v4.28.0
    4 months ago
    Released on February 24, 2026 at 4:49:24PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.28.0
  6. Not a part of any version track.
    ffc076a
    v4.27.0
    5 months ago
    Released on February 12, 2026 at 1:59:06PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.27.0
  7. Not a part of any version track.
    a686ff0
    v4.26.0
    5 months ago
    Released on February 12, 2026 at 1:57:23PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.26.0
  8. Not a part of any version track.
    52d889e
    v4.25.0
    5 months ago
    Released on February 12, 2026 at 1:53:30PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.25.0
  9. Not a part of any version track.
    3590c1d
    v4.24.0
    8 months ago
    Released on October 16, 2025 at 7:39:07PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0
  10. Not a part of any version track.
    7a470b2
    v4.23.0
    9 months ago
    Released on September 15, 2025 at 10:45:38AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.23.0
  11. Not a part of any version track.
    57a0118
    v4.22.0
    10 months ago
    Released on August 24, 2025 at 4:44:38PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.22.0
  12. Not a part of any version track.
    79549d0
    v4.21.0
    a year ago
    Released on June 30, 2025 at 3:34:43PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.21.0
  13. Not a part of any version track.
    5e1c1b2
    v4.20.0
    a year ago
    Released on June 3, 2025 at 7:43:54PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.20.0
  14. Not a part of any version track.
    a93a1fd
    v4.19.0
    a year ago
    Released on May 5, 2025 at 3:23:52PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.19.0
  15. Not a part of any version track.
    23d6746
    v4.18.0
    a year ago
    Released on April 10, 2025 at 6:02:54PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.18.0
  16. Not a part of any version track.
    2ba9fba
    v4.17.0
    a year ago
    Released on March 3, 2025 at 8:08:16PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.17.0