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.
    ec820cb
    12 days ago
    Released on January 22, 2025 at 7:14:35AM
    Commit ec820cb builds on its old leanprover/lean4:v4.13.0
    v4.13.0
    32.0 MB Build archive size: 31995055 bytes.
  2. Not a part of any version track.
    411cb77
    v4.13.0
    3 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.
  3. Not a part of any version track.
    c7124b3
    v4.11.0
    3 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.
  4. Not a part of any version track.
    a814ed2
    v4.8.0
    6 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