lean4checker
Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
1-1 of 1 packages depending on leanprover/lean4checker
Sort by
Package Name
dwrensha/rupertuses
v4.21.0-rc3Formalization of the Rupert Problem for convex polyhedra.