👉 Learn how to add or subtract radicals. A radical is a number or an expression under the root symbol. Radicals can only be ...

👉Learn how to solve a system of equations by substitution. To solve a system of equations means to obtain a common values of ...

This tutorial depends on Lean 4, VS Code, and Mathlib. You can find the textbook both online and in this repository in html format or as a pdf document. The book is designed to be read as you work ...

Bermuda International Long Term Insurers and Reinsurers (BILTIR) is pleased to announce that they have successfully concluded a 12-week math tutorial programme for students at CedarBridge Academy.