Add Lean 4 formalization of Value lattice and RVM core semantics - #819

Open

Anand Krishnamoorthi (anakrish) wants to merge 4 commits into

microsoft:mainfrom

anakrish:formal-lean

Commits on Sep 18, 2026

Add Lean 4 formalization of Regorus Value lattice and RVM core semantics

Anand Krishnamoorthi (anakrish)
and
Copilot
committed
8abf4cf
Add CI workflow to build and lock down formal/ Lean formalization

Anand Krishnamoorthi (anakrish)
and
Copilot
committed
e518c5f
Address PR review findings in Lean formalization and CI

Anand Krishnamoorthi (anakrish)
and
Copilot
committed
d72f8f0
lean.yml: build the regorusFormal executable, not just the library

Anand Krishnamoorthi (anakrish)
and
Copilot
committed
436c6fb