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