Binary Analysis Platform
- binary-analysis
- reverse-engineering
- program-analysis
- static-analysis
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning