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. oOo0oOo/paranoiausesv4.26.0-rc2

    Lean 4 proof verification without reference

  2. Hayata-Yamasaki-Group/Quantumusesb739819

    Lean formalization of the theory of quantum information and quantum computation