Mentions légales du service
The goal is to keep track of unexpected termination, especially when the output of the prover is empty.