No results found

lean-gccjit

libgccjit bindings for Lean4
Displaying 1-1 of 1 versions of lean-gccjit
Sort by
  1. Not a part of any version track.
    138a7b6
    0.1.3
    a year ago
    Released on October 13, 2023 at 4:48:26AM
    Commit 138a7b6 fails to build on leanprover/lean4:v4.1.0
    v4.1.0