GitHub repository: jscoq/wacoq-bin
Primary language: TypeScript
Description: Coq WebAssembly interface