Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-07-16 09:47 88e6ad41

View on Github →

fix: handle archive and counterexamples correctly when adding port comments (#19237)

Estimated changes