Logic Colloquium 2022
Home
About
Important Dates
Program Committee
CFP
Program
Schedule
Plenary Speakers
Special Sessions
Location
Previous Editions
2022 (current)
2021
2019
2018
2017
Registration
Fees
Registration Form
Logic Colloquium 2022
Talk
Formalizing the Appendix of Kelley's General Topology in the Naproche Proof Checker.
Peter Koepke
On
Wed, 16:30
!
Live
in
M103
for
20min
PDF Abstract
On-site
Overview
Program
×
Live Stream
×
If you encounter any issues with this website, please get in touch with
Léo Exibard
.