Cleaning the inter-prover.

 

 

Creative Commons License