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

90 Commits
1 Branch
0 Tags

README

Created on

October 24, 2019

Loading