sourcedennis/armed-proofs

•Updated 5 months ago

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

Image

392

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

5 months ago

docker pull sourcedennis/armed-proofs