GitHub repository: moonad/Formality-Core
Primary language: JavaScript
Description: Specification of the Formality proof and programming language