Test your knowledge of taxicab geometry, triangular numbers, the golden ratio and more.

With summer vacation underway for the kiddos, I tend to reminisce about my childhood summers. Working the hayfields, fighting with my brothers, swimming lessons, ...

An equation that uses elementary math principles left the internet stumped. Can you solve it correctly in under a minute?

ABB South Africa, in collaboration with EduFeArn, has launched a pioneering mathematics intervention at Minerva Secondary School in Alexandra. This initiative, which commenced in January 2024, is ...

The Ministry of Education has announced the opening of the grade review window for Grade 12 students’ third-term results, ...

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