GitHub repository: moonad/Formality-Spec
Primary language: JavaScript
Created: 2020-03-23T14:45:32Z
Description: Specification of the Formality proof and programming language