Skip to content

Proofs: add lemmas in Slot_repr

Emile Rolley requested to merge EmileRolley/coq-tezos-of-ocaml:proof-slot_repr into master

Changelog

  • Change some Axiom into Lemma with proofs in file Slot_repr.v.
Edited by Emile Rolley

Merge request reports