Skip to content

Complete proof of parse_ticket_and_operation_is_valid

Evan Marzion requested to merge parse-ticket-and-operation into master

Closes #671 (closed)

Edited by Evan Marzion

Merge request reports