Organize your proofs!  Home  Features  Download  Documentation  About  News  Screenshots  Development  Publications  Related

Screenshots of Proof General 4.1 not yet added. Submissions welcome!

Meanwhile you can still

• see the old screenshots of PG 3.0.
• See the Proof General Eclipse wiki for screenshots of Proof General in Eclipse.