The Lean mathematical library, mathlib, is a unified library of mathematics formalized in the Lean proof assistant.
Read more![Best Free and Open Source Proof Assistants](https://i0.wp.com/www.linuxlinks.com/wp-content/uploads/2021/09/Free-Proof-Assistant-Software.jpg?resize=300%2C240&ssl=1)
The Linux Portal Site
The Lean mathematical library, mathlib, is a unified library of mathematics formalized in the Lean proof assistant.
Read more