lean4checker
Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
of 12 versions of lean4checker
1-12Sort by
Date
2a87e93
2a87e93
48c39ac
c07bbba
ffffef3
v4.11.0v4.11.04236dd2
0c33232
v4.10.0v4.10.0cffb5b4
b317806
v4.9.0v4.9.09da7f4a
v4.9.0-rc1v4.9.0-rc1f49dfe7
v4.8.0v4.8.094d8656