proof assistant

Reading Theorems in Lean

Diogo Gomes, Associate Dean for Students, Computer, Electrical and Mathematical Sciences and Engineering

Oct 22, 12:00 - 13:00

B9 R2325

proof assistant Computational mathematics Applied Machine Learning mathematics mathematical modelling

This seminar introduces the Lean proof assistant from the perspective of reading and auditing mathematical statements, exploring its role in auto-formalization and its capacity to expose tacit assumptions in mathematical research.