smmercuriadele-ring_locally-compact

The proof that the adele ring of a number field is locally compact, formalised in Lean 4.
Displaying 1-14 of 14 versions of adele-ring_locally-compact
Sort by
  1. Not a part of any version track.
    e8e3460
    v1.8
    a year ago
    Released on November 18, 2024 at 12:10:09PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.10.0-rc2
  2. Not a part of any version track.
    e8e3460
    v1.8
    a year ago
    Released on November 18, 2024 at 12:10:09PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.10.0-rc2
  3. Not a part of any version track.
    7ac3f73
    v1.7
    a year ago
    Released on August 20, 2024 at 11:06:04AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.10.0-rc2
  4. Not a part of any version track.
    261e72e
    v1.6
    a year ago
    Released on August 1, 2024 at 11:55:00AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.7.0-rc2
  5. Not a part of any version track.
    564e618
    v1.5
    a year ago
    Released on May 29, 2024 at 5:11:25PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.7.0-rc2
  6. Not a part of any version track.
    18cf492
    v1.4
    2 years ago
    Released on May 8, 2024 at 7:16:47AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.7.0
  7. Not a part of any version track.
    6623bdf
    v1.3
    2 years ago
    Released on April 11, 2024 at 4:25:47PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.7.0
  8. Not a part of any version track.
    1221313
    v1.2
    2 years ago
    Released on April 7, 2024 at 10:51:33AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.7.0
  9. Not a part of any version track.
    44710bc
    v1.1
    2 years ago
    Released on April 1, 2024 at 8:37:06AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.7.0-rc2
  10. Not a part of any version track.
    0e55b3c
    v1.0
    2 years ago
    Released on March 26, 2024 at 11:10:56PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.7.0-rc2
  11. Not a part of any version track.
    ef4e521
    v0.4
    2 years ago
    Released on March 25, 2024 at 4:44:20PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.7.0-rc2
  12. Not a part of any version track.
    ac7de16
    v0.3
    2 years ago
    Released on March 24, 2024 at 8:58:58PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.7.0-rc2
  13. Not a part of any version track.
    4298e2a
    v0.2
    2 years ago
    Released on March 22, 2024 at 8:34:29PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.7.0-rc2
  14. Not a part of any version track.
    bcf90b1
    v0.1
    2 years ago
    Released on March 18, 2024 at 6:24:38PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.7.0-rc2