News items by David Aspinall.
I'm pleased to say that Proof General will be demonstrated at ETAPS 2000. Here are some draft slides for the presentation (any comments would be welcome). A presentation of Proof General based on these slides was given at Rutherford Appleton Laboratory last week.
Proof General 3.0 is released!
Click here for old news.