Mentions légales du service
This repository contains the Coq/Iris proofs that accompany the paper A Separation Logic for Effect Handlers.