1 paper
Celio Boulay, Alexander Chai, Anthony Chang +1
The mathematics of Origami have been well studied and shown to develop several interesting results. We use Lean 4 tactics and build on Mathlib to redefine the 7 Huzita operations a…