Projects · Explore · GitLab

Explore GitLab

Discover projects, groups and snippets. Share your projects with others

I

Marianna Rapoport / iris-coq

The Coq development for Iris

0

updated Jul 11, 2018
F

AVA / FloVer

A certificate checker for roundoff error bounds

0

updated Jul 14, 2018
I

FP / iris-examples

Some example verification demonstrating the use of Iris.

0

updated Jul 13, 2018
C

Robbert / coq-stdpp

6

updated Jul 10, 2018
I

FP / iris-atomic

Logically Atomic Triples in Iris

0

updated Jul 13, 2018
I

FP / iris-coq

The Coq development for Iris

5

updated Jul 13, 2018