Explore projects

An extended "Standard Library" for Coq. [coqdoc]

Unmaintained repository. An extension of the Iris program logic to support linearity and fair refinement reasoning.

A logic for proving contextual refinements project website(https://cs.ru.nl/~dfrumin/reloc/)