lean4checker
Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
of 19 versions of lean4checker
1-19Sort by
Date
03b5086
03b5086
bee437b
v4.14.0v4.14.0294d970
57e4d7a
9246ca9
7bc0a77
bc7ec68
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