Skip to content

jsCoq 0.13.3 "The Name of the Version is Called"

Choose a tag to compare

View all tags
@corwin-of-amber corwin-of-amber released this 22 Sep 08:49
v0.13.3
f9d0ec3
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
  • A critical bug fix for error sentences. (#249, corwin-of-amber)
  • Added Coqoban package 🎡 (corwin-of-amber)

Plus a few internal rearrangements.

Assets 6
Loading