Drukujdr Karol P±k
Konferencje
-
K. P±k
Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers
15th International Conference on Interactive Theorem Proving, Tbilisi, Georgia, Sep 9-14, 2024
Tbilisi State University (org.)
(Planowany udział)
- * Presentation
- ¹ A chairman of a session
- ² A member of the Organizing Committee
- ³ Student