Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-03-19 17:43
48eacc63
View on Github →
chore(*): update to lean 3.42.0c (
#12818
)
Estimated changes
Modified
leanpkg.toml
Modified
src/tactic/interactive.lean
Modified
test/induction.lean
added
def
less_than.lt_lte
deleted
theorem
less_than.lt_lte
Modified
test/lint.lean
deleted
theorem
foo3
Modified
test/lint_to_additive_doc.lean
added
def
bar
deleted
theorem
bar
added
def
baz
deleted
theorem
baz
added
def
foo
deleted
theorem
foo
added
def
no_to_additive
deleted
theorem
no_to_additive
added
def
quux
deleted
theorem
quux
Modified
test/local_cache.lean