HackSoc
← back to the calendar

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:30pm
6 November, 2025

Where?

LT1, Exchange