Josef Urban: Theorem Proving and AI External Video-URL https://www.youtube.com/watch?v=M0fVmNZBIrg Preview-Image Search Engine Exclude no
