Skip to content

`transfer_n_is_valid` - Verify Token

Natasha Klaus requested to merge natalie-639-verify-token-part-two into master

Validation of Token.v, last unsolved lemma. close #639 (closed)

Edited by Natasha Klaus

Merge request reports