See this README.md.
See this README.md.
See this README.md.
See this README.md.
See this README.md.
See this README.md.
See this README.md.
See this README.md.
See this README.md.
See this README.md.
See this README.md.
See this README.md.
forked from bluerock-io/BRiCk
-
Notifications
You must be signed in to change notification settings - Fork 0
Formalization of C++ for verification purposes.
License
gares/BRiCk
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Formalization of C++ for verification purposes.
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- Rocq Prover 76.5%
- OCaml 9.8%
- C++ 8.7%
- Raku 2.9%
- JavaScript 0.9%
- Shell 0.5%
- Other 0.7%