About

This project is an auto-updating list of changes from Lean's Mathlib library. Mathlib is a powerful repository of math proofs in Lean, but there's no versioning of the library, and breaking changes can occur at any time without notice. This project exists as a way to make it easier to track down what happened to a theorem that you might be using, but suddenly discover is no longer available.

This project is far from perfect. While it should catch most of the changes to Mathlib in each commit, it doesn't run a full Lean and Mathlib environment so there's no guarantee that everything is picked up. If you have any ideas for improvements, find any bugs, or have any other comments, feel free to open a Github issue.