Skip to content

Tickets: more specification

Guillaume Claret requested to merge guillaume-claret@last-tiket-proofs into master

Verification of the Ticket_operations_diff.v file (+ other specifications).

Edited by Guillaume Claret

Merge request reports