issues
search
SRI-CSL
/
PVS
The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
139
stars
32
forks
source link
Implement "history" for Proof Manager
#18
Closed
happyhuman
closed
11 years ago