Tim Sweeney - Type Systems and Mathematical Proofs (via searchlore.ai)