Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-07-29 13:48
e0e3f4be
View on Github →
feat: remove (upstreamed) shake (
#27632
)
shake
has been moved to Batteries.
Estimated changes
Deleted
Shake/Main.lean
deleted
structure
Args
deleted
def
Edits.add
deleted
def
Edits.remove
deleted
structure
ShakeCfg
deleted
structure
State
deleted
def
calcNeeds
deleted
def
getExplanations
deleted
def
help
deleted
def
importId
deleted
def
isBlacklisted
deleted
def
main
deleted
def
parseHeader
deleted
def
parseHeaderFromString
deleted
def
toBitset
deleted
def
visitModule
Modified
lakefile.lean