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.