Skip to content

End of verif of Main.v

Guillaume Claret requested to merge guillaume-claret@end-verif-main-bis into master

End of verif of Main.v Fix #540 (closed) I also moved proofs in Raw_context.v that were not in the same order as in the OCaml file.

Edited by Guillaume Claret

Merge request reports