Yannick Forster: The Coq library of undecidability proofs, talk with a focus how to use work around proof assistants for teaching and thesis projects External Video-URL https://www.youtube.com/watch?v=bPG2uO427Kc Preview-Image Search Engine Exclude no
