lean4checker
Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
of 41 versions of lean4checker
1-20Sort by
Date
e021ae9
v4.22.0-rc3v4.22.0-rc346.9 MBe021ae9
v4.22.0-rc3v4.22.0-rc346.9 MB9fe258b
v4.22.0-rc2v4.22.0-rc246.8 MBec84749
v4.22.0-rc1v4.22.0-rc146.8 MBad292fe
v4.21.0v4.21.0ba94ec4
v4.20.1v4.20.1ac5a7c3
v4.21.0-rc3v4.21.0-rc352.5 MB96e2cf7
v4.21.0-rc2v4.21.0-rc2b08ea12
v4.21.0-rc1v4.21.0-rc1aeaca0f
v4.20.0v4.20.09fb95ce
v4.20.0-rc5v4.20.0-rc550.9 MB6cf4df9
v4.20.0-rc2v4.20.0-rc251.0 MBe11f65c
v4.19.0v4.19.048.5 MBb8adfa0
v4.19.0-rc3v4.19.0-rc348.5 MB3ab85e9
v4.19.0-rc2v4.19.0-rc2f345273
v4.18.0v4.18.051febba
v4.18.0-rc1v4.18.0-rc1f469291
v4.17.0v4.17.037.6 MB2c7587a
v4.17.0-rc1v4.17.0-rc137.6 MB803320e
v4.16.0v4.16.035.7 MB