Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq (ITP'21)
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 ...
🔥 Related Trending Topics
LIVE TRENDSThis video may be related to current global trending topics. Click any trend to explore more videos about what's hot right now!
THIS VIDEO IS TRENDING!
This video is currently trending in Bangladesh under the topic 's'.
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/
Video Information
Views
85
Total views since publication
Likes
1
User likes and reactions
Duration
21:22
Video length
Published
Jun 29, 2021
Release date
Quality
hd
Video definition