PDF of slides for my talk at Imperial College London: Formally Verifying Hardware with Aristotle, Harmonic’s AI Theorem Prover

These are the slides I used for my talk, although they may not make a lot of sense without my narration.