Remove the warnings from the proofs
There are many Coq warnings in the CI currently. The goal of this issue is to remove all of them.
Edited by Kewerson Hugo
There are many Coq warnings in the CI currently. The goal of this issue is to remove all of them.