Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-10-10 22:55 3ac76ec5

View on Github →

doc: Add a warning mentioning Lean 4 to the readme (#19243) Also correct links to point to the lean3 webpages; this means that users clicking them end up on pages which also have scary banners telling them not to use Lean 3.

Estimated changes