Package Usage: npm: @jscoq/equations

Equations 1.3 for jsCoq
15 versions
Latest release: over 1 year ago
1 dependent package
16 downloads last month

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

Dependent Repos 1

coq/platform-docs

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

Size: 187 KB - Last synced: about 2 months ago - Pushed: 2 months ago