[FA2] The Formal FA2 standard and the verification of two reference implementations.
We define the formal FA2 standard (in files fa2_interface.v and fa2_standard.v) and verify two FA implementations: the Hic Et Nunc contract and the FA2 contract written in Ligo.