pub fn check_proofs(
genv: GlobalEnv<'_, '_>,
def_ids: &[DefId],
) -> Vec<Result<(), ErrorGuaranteed>>Expand description
Checks the external (lean) proofs of all the def_ids with a single lake build, reporting an
error for each proof that fails to check. Returns the results in the same order as def_ids.