BRiCk
C++ formalizer
Formalization of C++ for verification purposes using Coq
Formalization of C++ for verification purposes.
72 stars
6 watching
12 forks
Language: Coq
last commit: 2 months ago coqcoq-formalizationcoq-librarycpluspluscplusplus-11cplusplus-14cplusplus-17