Speaker
Peter Koepke
Talks at this conference:
| Wed, 16:30 | Formalizing the Appendix of Kelley's General Topology in the Naproche Proof Checker. Live |
Speaker
| Wed, 16:30 | Formalizing the Appendix of Kelley's General Topology in the Naproche Proof Checker. Live |