Commit 2021-11-09 08:17 e15f5f78

View on Github →

chore: bump to lean4:nightly-2021-11-07 (#86) Bumps to lean4:nightly-2021-11-07.

Estimated changes

modified def Tactic.Cache.get