Releases1
Frequency
Last Release
generic frontend for proof assistants
Subscribe above to receive notifications when new versions are released.
| Version | Date | Stability Stability is determined by the version string and my be inaccurate. | |
|---|---|---|---|
| 4.4.1~pre170114-1.2 | RC |