Commit 2024-04-08 19:22 bec07a6b
View on Github →feat: Definition and Basic Properties of the Ternary Cantor Set (#11761) The group of Artur Szafarczyk, Suraj Krishna M S, JB Stiegler, Isabelle Dubois, Tomáš Jakl, Lorenzo Zanichelli, Alina Yan, Emilie Uthaiwat, and I worked on a project of formalizing the ternary cantor set in the course of the LFTCM2024 workshop under the guidance of Filippo A. E. Nuccio.