Organizational Meeting - Formal Abstracts in Mathematics

Thursday, April 19, 2018 - 13:00

427 Thackeray Hall

Speaker Information
Thomas Hales

Abstract or Additional Information

This will be an organizational meeting for students and others related to Formal Abstracts in Mathematics.  We will discuss the objectives of Sloan grant on formal abstracts, the machine learning component of the project, resources for learning the Lean theorem prover, student project ideas, summer plans, and so forth.