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
Unknown and 2 other licenses found
Licenses found
Unknown
LICENSE-BedRock
LGPL-2.1
LICENSE-LGPL
Apache-2.0
LICENSE-LLVM
pirapira/cpp2v
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Formalization of C++ for verification purposes.
Resources
License
Unknown and 2 other licenses found
Licenses found
Unknown
LICENSE-BedRock
LGPL-2.1
LICENSE-LGPL
Apache-2.0
LICENSE-LLVM
Contributing
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- Rocq Prover 77.9%
- C++ 9.1%
- OCaml 8.1%
- Raku 2.8%
- JavaScript 0.8%
- Shell 0.4%
- Other 0.9%