Skip to content
#

program-verification

Star

Here are 4 public repositories matching this topic...

Language: C++
Filter by language
All 72 Python 18 Java 8 OCaml 6 C++ 4 Rocq Prover 4 Rust 4 Fortran 3 Lean 3 Dafny 3 HTML 2

MattCCC / cppl

Star 6

C++L is C++ with Laws: an ambiguity-free, proof-carrying superset C++ based language in which humans or AIs can specify intent as machine-checkable Laws, implementations are accepted only when those Laws are proven, and all proof machinery erases to ordinary optimized C++ compiled by Clang/LLVM.

programming-language compiler cpp llvm formal-semantics theorem-proving clang language-design formal-methods program-verification cpp20 format-verification
  • Updated Oct 5, 2026
  • C++

Add this topic to your repo

To associate your repository with the program-verification topic, visit your repo's landing page and select "manage topics."

Learn more