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