issues
search
SRI-CSL
/
PVS
The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
135
stars
32
forks
source link
handling 4 cases of yices1 present? / yices2 present? in Makefile
#60
Closed
disteph
closed
5 years ago