Mentions légales du service

Skip to content

GitLab

Explore

Sign in

S

spy-game

Project information

This repository contains the Coq/Iris proofs that accompany the paper Spy game---Verifying a local generic solver in Iris

86 Commits
1 Branch
0 Tags

README

Created on

October 24, 2019

Copy SSH clone URLgit@gitlab.inria.fr:pdevilhe/spy-game.git
Copy HTTPS clone URLhttps://gitlab.inria.fr/pdevilhe/spy-game.git

Loading