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

Do you sit for more than 4 hours each day? Start doing these 5 exercises to avoid any dangerous health issues in the future ...