mathlib
4d88ae8e - feat(tactic/lint): better fails_quickly linter (#8932)

Commit

4 years ago

feat(tactic/lint): better fails_quickly linter (#8932) This linter catches a lot more loops. Co-authored-by: Floris van Doorn <fpv@andrew.cmu.edu>

Author

fpvandoorn

Parents