Mentions légales du service

Admin message

GitLab upgrade completed. Current version is 18.6.4
https://about.gitlab.com/releases/2025/11/20/gitlab-18-6-released/

H

Hazel

Project information

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

129 Commits
3 Branches
1 Tag

README
LICENSE

Created on

October 09, 2020

Loading