Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Inductive
tactic.tactic_script
Modification history
2018-08-28 20:09
tactic/chain.lean
feat(tactic/tidy): add tidy tactic (#285)
Added
tactic.tactic_script
View on Github →