No results found

jixia

A static analysis tool for Lean 4.
Displaying 1-5 of 5 versions of jixia
Sort by
  1. Not a part of any version track.
    157c55d
    v4.16.0
    4 days ago
    Released on March 12, 2025 at 2:17:48PM
    Commit 157c55d builds on its old leanprover/lean4:v4.16.0
    v4.16.0
    37.5 MB Build archive size: 37453765 bytes.
  2. Not a part of any version track.
    157c55d
    v4.16.0
    4 days ago
    Released on March 12, 2025 at 2:17:48PM
    Commit 157c55d builds on its old leanprover/lean4:v4.16.0
    v4.16.0
    37.5 MB Build archive size: 37453765 bytes.
  3. Not a part of any version track.
    411cb77
    v4.13.0
    4 months 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.
  4. Not a part of any version track.
    c7124b3
    v4.11.0
    5 months 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.
  5. Not a part of any version track.
    a814ed2
    v4.8.0
    8 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