Mentions légales du service

Skip to content

GitLab

Explore

Sign in

H

Hazel

Project information

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

124 Commits
3 Branches
1 Tag

README
LICENSE

Created on

October 09, 2020

Copy SSH clone URLgit@gitlab.inria.fr:cambium/hazel.git
Copy HTTPS clone URLhttps://gitlab.inria.fr/cambium/hazel.git

Loading