lean4checker
Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
of 40 versions of lean4checker
1-20Sort by
Date
9fe258b
v4.22.0-rc2v4.22.0-rc29fe258b
v4.22.0-rc2v4.22.0-rc2ec84749
ad292fe
v4.21.0v4.21.0ba94ec4
v4.20.1v4.20.1ac5a7c3
96e2cf7
v4.21.0-rc2v4.21.0-rc2b08ea12
v4.21.0-rc1v4.21.0-rc1aeaca0f
v4.20.0v4.20.09fb95ce
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