gitlab.inria.fr / cambium 4 Dépôts
The members of the Cambium team at Inria Paris.
cambium/tes
Coq formalization of Tes.
dernière synchronisation: il y a 7 mois - étoiles: 0 - forks: 0
cambium/hazel
This repository contains the Coq/Iris proofs that accompany the paper [A Separation Logic for Effect Handlers](http://cambium.inria.fr/~fpottier/publis/de-vilhena-pottier-sleh.pdf).
dernière synchronisation: il y a 7 mois - enregistré: il y a 11 mois - étoiles: 0 - forks: 0
cambium/iris-time-proofs
implementation and metatheory of time credits and time receipts in Iris / Coq
dernière synchronisation: il y a 7 mois - étoiles: 0 - forks: 1
cambium/cosmo
Concurrent Separation Logic for Multicore OCaml
dernière synchronisation: il y a 7 mois - étoiles: 0 - forks: 0