S
spy-game
This repository contains the Coq/Iris proofs that accompany the paper Spy game---Verifying a local generic solver in Iris
-
DE VILHENA Paulo Emílio authored6d3529ec
| Name |
Last commit
|
Last update |
|---|---|---|
| theories | ||
| .gitattributes | ||
| .gitignore | ||
| .gitlab-ci.yml | ||
| INSTALL.md | ||
| Makefile | ||
| README.md | ||
| _CoqProject | ||
| create-archive.sh | ||
| opam | ||
| setup.sh | ||
| spy-game.tar.gz |