Hi friends! Here's a video of my PhD thesis defense. Enjoy!
Conversation
Replying to
Finally got around to watching this and really enjoyed it! Really excited to see your future work in proof engineering too – this work seems really useful. Kind of reminds me a bit of the refactoring tools we have in IDEs… but even more challenging!