GitHub repository: JasonGross/javascript-coq-action
Primary language: JavaScript
Created: 2020-03-26T01:51:03Z
Description: Initial stab at a JavaScript-based Coq GitHub action