caching everything coq/rocq