certicrypt

CertiCrypt Coq Framework

GitHub

31 stars
10 watching
5 forks
Language: Coq
last commit: over 8 years ago