Unveiling Synthetic Undecidability & Incompleteness in Coq 🧩 | ITP'21 Presentation
Discover Dominik Kirst's insights on synthetic undecidability and incompleteness in first-order axiom systems within Coq, based on joint research with Marc Hermes. Dive into the latest advancements from ITP'21!
PS Lab Saarland University
85 views • Jun 29, 2021
About this video
A talk given by Dominik Kirst at ITP'21 about joint work with Marc Hermes on Synthetic Undecidability and Incompleteness in Coq.
You can find the paper and Coq development on our project page:
https://www.ps.uni-saarland.de/extras/axiomatisations/
You can find the paper and Coq development on our project page:
https://www.ps.uni-saarland.de/extras/axiomatisations/
Video Information
Views
85
Likes
1
Duration
21:22
Published
Jun 29, 2021
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.