Organizational Meeting - Formal Abstracts in Mathematics

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.