jsCoq 0.15.1

corwin-of-amber released this 05 May 20:03

· 1 commit to v8.15 since this release

Update to Coq 8.15.1. (@corwin-of-amber)
Stabilized jsCoq SDK Docker image. (@corwin-of-amber)
A new landing-page example that is more focused on showing jsCoq features; added links to other examples. (@corwin-of-amber, help & suggestions by @hannelita, @palmskog)
Added symbol generation to the build pipeline, to keep completion results current. (@corwin-of-amber)

Contributors

palmskog, hannelita, and corwin-of-amber

Assets 6