Build Yourself a Lean
Our second speaker event of the year! 3rd year student & friend of the FP lab, Sam Toth, will be giving a talk about how to make your own proof engine!
When?
6:30pm6 November, 2025
Our second speaker event of the year! 3rd year student & friend of the FP lab, Sam Toth, will be giving a talk about how to make your own proof engine!