An open API service providing repository metadata for many open source software ecosystems.

Package Usage: npm: jscoq

A port of Coq to JavaScript -- run Coq in your browser
18 versions
Latest release: plus d'un an ago
2 dependent packages
127 downloads last month

View more package details: https://packages.ecosystem.code.gouv.fr/registries/npmjs.org/packages/jscoq

Dependent Repos 1

coq/platform-docs
A project of short tutorials and how-to guides for Coq features and Coq Platform packages.

Size: 187 ko - Last synced: 3 mois ago - Pushed: 3 mois ago