Skip to content

Roosterize v1.1.0 for Coq 8.10.2 (beta)

Pre-release
Pre-release

Choose a tag to compare

View all tags
@pengyunie pengyunie released this 21 Nov 09:43
· 2 commits to readme-update since this release
v1.1.0+8.10.2-beta
c5b5f30

Major changes since the last release: improved command-line interface, added VSCode interface (using LSP), added functionality of utilizing .roosterizerc.

Supporting Coq version 8.10.2. The tool requires OCaml 4.07.1, SerAPI 0.7.1, Python 3.7 or later, PyTorch 1.1.0.

Attached to this release:
roosterize-dist-debian-cpu.tgz: binary distribution built under Debian system, using CPU only.
roosterize-model-t1.tgz: pre-trained model, trained on the tier-1 part of our MathComp corpus.
roosterize-model-ta.tgz: pre-trained model, trained on all tiers of our MathComp corpus.

Assets 5
Loading