mathlib3
2219dc18 - feat(tactic/linarith): put certificate generation in tactic monad (#3504)

Commit

6 years ago

feat(tactic/linarith): put certificate generation in tactic monad (#3504) Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

Author

robertylewis

Parents