mathematics_in_lean_source
mathematics_in_lean_source copied to clipboard
Published
4 months ago
•
avigad
avigad
Invalid link in chapter 7.2
https://github.com/avigad/mathematics_in_lean_source/blob/8baa112dcb882785255fdcb6aee4cac88a0c4925/MIL/C07_Structures/S02_Algebraic_Structures.lean#L628
The link of https://leanprover.github.io/theorem_proving_in_lean4/type_classes.html#managing-type-class-inference is invalid now, should be replaced with https://leanprover.github.io/theorem_proving_in_lean4/Type-Classes/#managing-type-class-inference
