Drukujdr Karol P±k
Konferencje
-
C. Kaliszyk*, K. P±k
Formalizing the set of primes as an alternative to the DPRM theorem
13th International Conference on Interactive Theorem Proving, Haifa, Israel, Aug 7-10, 2022
Technion - Israel Institute of Technology (org.)
- * Presentation
- ¹ A chairman of a session
- ² A member of the Organizing Committee
- ³ Student