Mathlib Changelog
v4
Changelog
About
Github
Structure
Mathlib.PrintSorries.State
Modification history
2025-08-29 02:42
Mathlib/Util/PrintSorries.lean
feat: `#print sorries`, a command to find usage of `sorry` (#25179) …
Added
Mathlib.PrintSorries.State
View on Github →