jixia
A static analysis tool for Lean 4.
of 6 versions of jixia
1-6Sort by
Date
b5ec1a4
v4.19.0ba11ef4
v4.19.0v4.19.050.2 MBb575cc7
v4.16.0v4.16.0411cb77
v4.13.0v4.13.031.6 MBc7124b3
v4.11.0v4.11.030.0 MBa814ed2
v4.8.0v4.8.0
b5ec1a4
ba11ef4
b575cc7
411cb77
c7124b3
a814ed2