Skip to content

jsCoq 0.12.2 "Square Peg, Round Hole"

Choose a tag to compare

View all tags
@corwin-of-amber corwin-of-amber released this 15 Feb 19:20
· 122 commits to v8.13 since this release
v0.12.2
0de5922
  • Basically just upgrade to Coq 8.12.2, as it contains some important bug fixes of the v8.12 branch. (@corwin-of-amber)
  • Allow building with OCaml 4.10.2, since it is the earliest version of OCaml that supports arm64 (Apple M1). (@corwin-of-amber)
Assets 2
Loading