mhhf/k-token

formal verification of the medallion token

Makefile