Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-04-02 11:22 13034ba3

View on Github →

feat(tactic/local_cache): add tactic-block-local caching mechanism (#837)

Estimated changes