BRiCk
by bluerock-io
Coqpushed almost 2 years ago
Formalization of C++ for verification purposes.
AI summary
C++ formalizer
Formalization of C++ for verification purposes using Coq
- stars
- 72
- forks
- 12
- watching
- 6
by bluerock-io
Formalization of C++ for verification purposes.
AI summary
C++ formalizer
Formalization of C++ for verification purposes using Coq