A modern development environment for ACL2 with all the trimmings.
The Proof Pad icon is based on an image by Deutsche Fotothek. Used under the Creative Commons Attribution-ShareAlike 3.0 Germany license.