search

darrenldl / ProVerif-ATP

ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification
23 stars 4 forks source link

Change pvatp to use python 3 instead lf requiring python 3.7 #11

Open darrenldl opened 4 years ago