GitHub repository: lucasvo/k-token
Primary language: Makefile
Created: 2019-04-18T06:30:05Z
Description: formal verification of the Radial token