Lean 4 infrastructure for proving program behavior from machine code, with explicit memory, OS resource, and concurrency models.
Lean Updated 23 days ago 1 commits 1 stars
vortex-ai|Mirror: Irvinwop/eDieSeL (⭐1)
23 days agoAbout
Lean 4 infrastructure for proving program behavior from machine code, with explicit memory, OS resource, and concurrency models.
Readme
1 stars