Version 4.4
18th September 2016:
Proof General version 4.4 has been released. You can
download it out here
This is the first release since PG has moved to GitHub. Many thanks to
all the contributors who tested, reported bugs and made improvements.
[Read More]