Logic@GU
Toggle navigation
People
Seminars
(current)
Master in Logic
Lindström Lectures
Other
Nordic Online Logic Seminar
Activities
Resources
Mechanised metamathematics: synthetic computability and incompleteness in Coq
Dominik Kirst, Inria Paris
Monday, 17 June 2024 at 14:00
room J440 ·
Research Seminar
24 VT