Skip to content

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
Open

Add Lean 4 formalization of Value lattice and RVM core semantics#819
Anand Krishnamoorthi (anakrish) wants to merge 4 commits into
microsoft:mainfrom
anakrish:formal-lean

lean.yml: build the regorusFormal executable, not just the library

436c6fb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Job log options

This job was skipped