Skip to content

MR for saturation fuzzing proofs help

Joris Peters requested to merge rug-saturation-fuzzing into master

Saturation_fuzzing.v advancements with proofs test_add_neq_proof and test_add_zero_proof. Unclear how to continue. Completed test_mul_commutes_proof

Merge request reports