Def Cache.getEnvNonEmpty

Modification history

2026-10-06 10:22
Cache/Env.lean
chore: downgrade a few functions from IO to BaseIO (#44393) …
Modified Cache.getEnvNonEmptyView on Github →
2026-09-02 18:10
Cache/Env.lean
feat(cache): read from cache.mathlib.org by default (#43308) …
Added Cache.getEnvNonEmptyView on Github →