pub fn project_digest(genv: GlobalEnv<'_, '_>) -> Result<u64>Expand description
A digest of the lean sources in the project (skipping build artifacts in .lake) and of the lake
configuration. A cached proof is only trusted if this digest is unchanged since the proof was
checked, as the proof, or any lemma or dependency it uses, may have been edited in the meantime.