
replay:
	why3replayer -I . proofs

