Mathlib v3 is deprecated. Go to Mathlib v4

Def do_trace

Modification history

2019-04-16 21:38
test/local_cache.lean
fix(test/local_cache): make the trace text explicit and quiet (#941) …
Added do_traceView on Github →