frenzymathjixia

A static analysis tool for Lean 4.
Displaying 1-7 of 7 versions of jixia
Sort by
  1. Not a part of any version track.
    052c6af
    19 days ago
    Released on January 14, 2026 at 4:29:21AM
    Commit 052c6af builds on its recent leanprover/lean4:v4.27.0-rc1
    v4.27.0-rc1
    62.5 MB Build archive size: 62547169 bytes.
  2. Not a part of any version track.
    8a93bd9
    v4.24.0
    20 days ago
    Released on January 12, 2026 at 2:04:33PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0
  3. Not a part of any version track.
    ba11ef4
    v4.19.0
    8 months ago
    Released on June 3, 2025 at 8:02:02AM
    Commit ba11ef4 builds on its old leanprover/lean4:v4.19.0
    v4.19.0
    50.2 MB Build archive size: 50191237 bytes.
  4. Not a part of any version track.
    b575cc7
    v4.16.0
    8 months ago
    Released on June 3, 2025 at 5:58:04AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.16.0
  5. Not a part of any version track.
    411cb77
    v4.13.0
    a year ago
    Released on November 11, 2024 at 11:49:23AM
    Commit 411cb77 builds on its old leanprover/lean4:v4.13.0
    v4.13.0
    31.6 MB Build archive size: 31647216 bytes.
  6. Not a part of any version track.
    c7124b3
    v4.11.0
    a year ago
    Released on October 29, 2024 at 3:19:49PM
    Commit c7124b3 builds on its old leanprover/lean4:v4.11.0
    v4.11.0
    30.0 MB Build archive size: 30031488 bytes.
  7. Not a part of any version track.
    a814ed2
    v4.8.0
    2 years ago
    Released on July 20, 2024 at 2:00:44AM
    Commit a814ed2 builds on its old leanprover/lean4:v4.8.0
    v4.8.0