leanprover / lean4checkerLinks

Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
25Updated last week

Alternatives and similar repositories for lean4checker

Users that are interested in lean4checker are comparing it to the libraries listed below

Sorting: