GitHub repository: moonad/Formality
Primary language: JavaScript
Created: 2021-02-19T21:21:34Z
Description: A modern proof language