proof pad is damaged and cant be opened on my mac - Githubissues

calebegg / proof-pad-classic

An IDE for ACL2

http://proofpad.org

GNU General Public License v3.0

21 stars 4 forks source link

proof pad is damaged and cant be opened on my mac #73

Open Brocknelson12 opened 8 years ago