Mathlib Changelog
v4
Changelog
About
Github
Def
P
Modification history
2023-10-20 16:10
test/says.lean
fix(says tactic): Don’t stumble over `Try this:\n` instead of `Try this:␣` (#7803) …
Added
P
View on Github →
2023-09-20 04:57
test/linarith.lean
chore(test/*): add `test_sorry` axiom in tests to make them less noisy (#6868) …
Modified
P
View on Github →
2023-05-06 12:10
test/linarith.lean
feat: enable cancel_denoms preprocessor in linarith (#3801) …
Added
P
View on Github →