leanproverlean4checker

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

  1. leanprover/Comparatorusesb739819

  2. oOo0oOo/paranoiausesv4.26.0-rc2

    Lean 4 proof verification without reference