https://isa-afp.org/authors/finken/ AFP entries of Evan Finken https://isa-afp.org/entries/Platonic_Solids.html Mon, 24 Aug 2026 00:00:00 +0000 The Five Platonic Solids in the AFP Mathematics/Geometry Computer science/Algorithms/Geometry