more robust build_session protocol: allow prover process to terminate/crash without build_session_finished message;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE913162a47d9f: Update Metis to 2.4
- Branches
- Unknown
- Tags