Formalize the FA2 specification and verify implementations
- Formalize the FA2 standard.
- Verify the (not exactly sure yet which one) Hic & Nunc contract.
Related: The FA1.2 formalization effort #40.
Edited by Arvid Jakobsson
Related: The FA1.2 formalization effort #40.