Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-02-09 12:54
359fc77c
View on Github →
chore: bump Std (
#10378
)
Estimated changes
Modified
Mathlib/Lean/Expr/Basic.lean
Modified
Mathlib/Lean/Meta/Simp.lean
Modified
Mathlib/Lean/Name.lean
Modified
Mathlib/Tactic/Congr!.lean
Modified
Mathlib/Tactic/LibrarySearch.lean
Modified
Mathlib/Tactic/Monotonicity/Basic.lean
Modified
Mathlib/Tactic/NormNum/Core.lean
Modified
Mathlib/Tactic/PushNeg.lean
Modified
Mathlib/Tactic/Relation/Trans.lean
Modified
Mathlib/Tactic/Rewrites.lean
Modified
Mathlib/Tactic/Says.lean
Modified
Mathlib/Tactic/Simps/Basic.lean
Modified
Mathlib/Tactic/Widget/Calc.lean
Modified
Mathlib/Tactic/Widget/Conv.lean
Modified
lake-manifest.json
Modified
test/says.lean