Skip to content

v0.9 (preview)

Pre-release
Pre-release
Compare
Choose a tag to compare
@corwin-of-amber corwin-of-amber released this 06 Jan 18:39
v0.9-beta0
12e8950

Binary preview for version 0.9 targeting Coq 8.8.

The tarball bundles jsCoq and all of its dependencies, including Coq packages (.vo and .cmo.js files).

Assets 3
Loading