Explore projects

I

Jeehoon Kang / iris-coq
Creative Commons Attribution 4.0 International

The Coq development for Iris

0

Updated Oct 12, 2018

0 0 0 0

Updated Oct 12, 2018
I

Jan / iris-coq
Creative Commons Attribution 4.0 International

The Coq development for Iris

0

Updated Jul 30, 2018

0 0 0 0

Updated Jul 30, 2018
C

Marianna Rapoport / coq-stdpp
BSD 3-Clause "New" or "Revised" License

0

Updated Jul 23, 2018

0 0 0 0

Updated Jul 23, 2018
P

Maxime Lesourd / prosa-for-certikos

0

Updated Jul 17, 2018

0 0 0 0

Updated Jul 17, 2018
I

Joseph Tassarotti / ipm-fscq-demo
MIT License

This is a demo showing how the the Iris Proof Mode can be used with FSCQ.

0

Updated Jul 16, 2018

0 0 0 0

Updated Jul 16, 2018
C

Ralf Jung / cfml2

Fork of https://gitlab.inria.fr/charguer/cfml2

0

Updated Jul 13, 2018

0 0 0 0

Updated Jul 13, 2018
I

Dan Frumin / iris-atomic

Logically Atomic Triples in Iris

0

Updated Mar 12, 2018

0 0 0 0

Updated Mar 12, 2018
D

David Swasey / derek-popl18-talk

Safety of a syntactically unsafe symbol ADT.

1

Updated Jan 29, 2018

1 0 0 0

Updated Jan 29, 2018
R

Robbert Krebbers / ra-gps
BSD 3-Clause "New" or "Revised" License

A soundness proof for GPS and RSL with Release-Acquire semantics in Iris.

0

Updated Sep 21, 2017

0 0 0 0

Updated Sep 21, 2017
I

Janno / iris-atomic

Logically Atomic Triples in Iris

0

Updated Jul 10, 2017

0 0 0 0

Updated Jul 10, 2017