H

Hazel

This repository contains the Coq/Iris proofs that accompany the paper A Separation Logic for Effect Handlers.