gitlab.inria.fr / cambium 4 Repositories

The members of the Cambium team at Inria Paris.

• Repositories 4
• Sort

  • Recently Pushed
  • Stars
  • Forks

cambium/tes

Coq formalization of Tes.

Last synced at: 7 months ago - Stars: 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).

Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

cambium/iris-time-proofs

implementation and metatheory of time credits and time receipts in Iris / Coq

Last synced at: 7 months ago - Stars: 0 - Forks: 1

cambium/cosmo

Concurrent Separation Logic for Multicore OCaml

Last synced at: 7 months ago - Stars: 0 - Forks: 0