Abstract Interpretation in StainlessExplores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
Symmetries of Regular PolyhedraExplores the historical background and significance of symmetries in regular polyhedra, shedding new light on Euclid's Elements.
