No results found

jixia

A static analysis tool for Lean 4.
Displaying 1-4 of 4 versions of jixia
Sort by
  1. Not a part of any version track.
    84e3588
    2 days ago
    Released on November 20, 2024 at 7:58:36AM
    Commit 84e3588 builds on its recent leanprover/lean4:v4.13.0
    v4.13.0
    31.7 MB Build archive size: 31653953 bytes.
  2. Not a part of any version track.
    411cb77
    v4.13.0
    11 days ago
    Released on November 11, 2024 at 11:49:23AM
    Commit 411cb77 builds on its recent leanprover/lean4:v4.13.0
    v4.13.0
    31.6 MB Build archive size: 31647216 bytes.
  3. Not a part of any version track.
    c7124b3
    v4.11.0
    24 days 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.
  4. Not a part of any version track.
    a814ed2
    v4.8.0
    4 months ago
    Released on July 20, 2024 at 2:00:44AM
    Commit a814ed2 builds on its old leanprover/lean4:v4.8.0
    v4.8.0