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

Screenshot of bedrocksystems/BRiCk website

bedrocksystems.github.io/BRiCk