kkaundaProject

Structure in Prime Gaps - Formalized
Displaying 1-3 of 3 versions of Project
Sort by
  1. Not a part of any version track.
    0b5d5bb
    v4.0.0-build-info
    a month ago
    Released on June 19, 2025 at 8:17:22AM
    Commit 0b5d5bb builds on its recent leanprover/lean4:v4.21.0-rc3
    v4.21.0-rc3
    143.2 KB Build archive size: 143244 bytes.
  2. Not a part of any version track.
    0b5d5bb
    v4.0.0-build-info
    a month ago
    Released on June 19, 2025 at 8:17:22AM
    Commit 0b5d5bb builds on its recent leanprover/lean4:v4.21.0-rc3
    v4.21.0-rc3
    143.2 KB Build archive size: 143244 bytes.
  3. Not a part of any version track.
    42b2858
    v4.0.0
    2 months ago
    Released on May 16, 2025 at 12:51:28PM
    Commit 42b2858 builds on its old leanprover/lean4:v4.12.0-rc1
    v4.12.0-rc1
    139.6 KB Build archive size: 139550 bytes.