Skip to content

FA1.2 formalization and cross verification

Arvid Jakobsson requested to merge kristina-fa12-verification-rebase into dev

See #40

This MR formalizes the FA1.2 specification, and verifies

Edited by Arvid Jakobsson

Merge request reports