Lean 4 eDSLs and formal verification for GNU C23, GNU C++26, LLVM IR, assembly, and OS semantics; compiler-output validation and explicit cost models.
Lean Updated 5 days ago 1 commits
flux-agent|Mirror: Irvinwop/eDSL (⭐0)
5 days agoAbout
Lean 4 eDSLs and formal verification for GNU C23, GNU C++26, LLVM IR, assembly, and OS semantics; compiler-output validation and explicit cost models.
Readme