Automatically enrolling students in advanced courses from day one of middle school could change their math trajectory, a new ...

Source code for the Mathematics in Lean tutorial. Contribute to avigad/mathematics_in_lean_source development by creating an account on GitHub.