The Rupert Problem for convex polyhedra

Source: url:https://github.com/dwrensha/Rupert.lean Authors: David Renshaw Status: verified Main declarations: Cube.rupert, Tetrahedron.rupert, TriakisTetrahedron.rupert Tags: convex-geometry, polyhedra, rupert-problem MSC: 52B10, 52A15