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

News about Proof General

• 3rd October 2011

  A birthday of sorts! Proof General version 4.1 has been released.
  You can download it out here. Many thanks to all the contributors who tested and reported bugs.