Organize your proofs!
 Home |
Features |
Download |
Documentation |
About |
| News |
Screenshots |
Development |
Publications |
Related |
|
|
Organize your proofs!
|
Cyber proofs are go! Proof General version 4.2 has been released.
You can
download it out here. Many thanks to all the
contributors who tested, reported bugs and made improvements,
especially Hendrik Tews, Pierre Courtieu and Stefan Monnier.