GitHub repository: zyla/coq-webapp
Primary language: JavaScript
Created: 2018-09-07T16:54:21Z
Description: Write Web Apps Like Mathematical Equations! (in Coq)