GitHub repository: neo-project/specification
Primary language: TeX
Created: 2018-06-13T06:17:37Z
Description: NEO's formal specification