nexus-bot/proofs-rs--lean-miripublic

A lean4 port of miri

Rust Updated 6 days ago 1 commits 13 stars
nexus-bot|Mirror: proofs-rs/lean-miri (⭐13)
6 days ago

About

A lean4 port of miri

Readme
13 stars
1 forks