frenzymathjixia

A static analysis tool for Lean 4.
Displaying 1-6 of 6 versions of jixia
Sort by
  1. Not a part of any version track.
    5a2720f
    14 days ago
    Released on October 26, 2025 at 9:57:09PM
    Commit 5a2720f builds on its recent leanprover/lean4:v4.24.0
    v4.24.0
    60.1 MB Build archive size: 60073519 bytes.
  2. Not a part of any version track.
    ba11ef4
    v4.19.0
    5 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.
  3. Not a part of any version track.
    b575cc7
    v4.16.0
    5 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
  4. 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.
  5. 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.
  6. Not a part of any version track.
    a814ed2
    v4.8.0
    a year ago
    Released on July 20, 2024 at 2:00:44AM
    Commit a814ed2 builds on its old leanprover/lean4:v4.8.0
    v4.8.0