Package Usage: npm: wacoq-deps

meta-package for waCoq binary dependencies
2 versions
Latest release: presque 3 ans ago
1 dependent package
134 downloads last month

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

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: plus d'un an ago - Pushed: plus d'un an ago