Screen shots

The Project Manager provides the main user interface to Perfect Developer.

By double-clicking on a filename (or selecting Edit from the drop-down menu), you can open the file in your favourite text editor. For example, if you are using Multi-Edit, your source file might look like this:

Proofs of correctness can be generated in HTML, TEX or plain text format. Here is an example of HTML proof output:

And here is a proof in TEX format: