search

calebegg / proof-pad-classic

An IDE for ACL2
http://proofpad.org
GNU General Public License v3.0
21 stars 4 forks source link

No downloads #72

Closed srsteele55 closed 9 years ago

srsteele55 commented 10 years ago

The links to download ProofPad on the website do not work; when clicked, they do nothing.

kyle921 commented 10 years ago

Duplicate of #71.