Here are some publicity pictures for Proof General. They were created by David Aspinall in his spare time, using the excellent freeware programs GIMP and Blender. The General himself is based on a commercial mesh by Viewpoint.

Click on a thumbnail to see a full-size images. All full-size images are 720x990 pixel JPGs (a nice size to print at 180dpi on A5 paper). Please download and print for your own use!

Please contact us with comments or suggestions, or if you would like a copy of one of the images in another size or format.

Copyright for the images is held by LFCS, University of Edinburgh. Please do not publish the images or incorporate them into other work without our permission.

	Proof General portrait This is the Proof General logo, with the home page URL at the bottom. A nice poster for your wall or door.
	New Recruits Wanted This is a request for help with the Proof General project. Please sign up here!
	Scary boots! This is a full-length shot of Proof General, again with the home page at the bottom.