Thomas Hubert: AlphaProof: From the lab into your hands

Part of the symposium Mathematics in the age of Automated Proofs at Leiden University. Made possible by the generosity of the the Lorentz Center, the Dutch R...