Josef Urban: Autoformalization - ten years into the game External Video-URL https://www.youtube.com/watch?v=4JeezEGc_gQ Preview-Image