BRiCk
Formalization of C++ for verification purposes.
67 stars
5 watching
9 forks
Language: Coq
last commit: 16 days ago coqcoq-formalizationcoq-librarycpluspluscplusplus-11cplusplus-14cplusplus-17
Formalization of C++ for verification purposes.