lean4checker
Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
of 31 versions of lean4checker
1-20Sort by
Date
6cf4df9
6cf4df9
e11f65c
b8adfa0
3ab85e9
v4.19.0-rc2v4.19.0-rc2f345273
v4.18.0v4.18.051febba
v4.18.0-rc1v4.18.0-rc1f469291
2c7587a
803320e
6372d24
8c4b271
be02a47
v4.15.0v4.15.003b5086
bee437b
v4.14.0v4.14.0294d970
57e4d7a
9246ca9
7bc0a77
bc7ec68