leanproverlean4checker

Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
Displaying 1-1 of 1 packages depending on leanprover/lean4checker
Sort by

  1. oOo0oOo/paranoiausesv4.26.0-rc2

    Lean 4 proof verification without reference