issues
search
calebegg
/
proof-pad-classic
An IDE for ACL2
http://proofpad.org
GNU General Public License v3.0
21
stars
4
forks
source link
Special case error summaries for common functions?
#56
Closed
calebegg
closed
11 years ago
calebegg
commented
11 years ago
Eg "zp expects natural numbers, ..."
Eg "zp expects natural numbers, ..."