URL details: proofpad.org/#proofbar

home > domains > proofpad.org > proofpad.org/#proofbar

URL title: Proof Pad: Home
URL paragraphs: 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.
URL last crawled: 2024-07-25
URL speed: 34.500 MB/s, downloaded in 0.001 seconds

open external url

We found no external links pointing to this url.