Yannick Forster 0002. Synthetic Mathematics for the Mechanisation of Computability Theory and Logic (Invited Talk). In Jörg Endrullis, Sylvain Schmitz, editors, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands. Volume 326 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]
Abstract is missing.