sourcedennis/armed-proofs

•Updated 6 months ago

Proofs for the case study in "Burrow: A Proof Framework for Weak Memory"

Image

407

sourcedennis/armed-proofs repository overview

No overview available

This repository doesn't have an overview

Recent tags

Content type

Image

Digest

sha256:9c883fe36…

Size

28.4 MB

Last updated

6 months ago

docker pull sourcedennis/armed-proofs