Skip to content

Formalize the FA1.2 specification and verify an implementation

Arvid Jakobsson requested to merge fa12-verification into dev

See #40

This merge request adds a formalization of the FA1.2 specification and verifies that camlCase's Morley implementation (version aa15139305ad29b8958701e0e478f96bb68bca65) satisfies this specification.

Merge request reports