Explore projects

View LambdaRust-coq project

Maxime Dénès / LambdaRust-coq

The Coq development of LambdaRust

0

Updated Sep 10, 2019

0 0 0 0

Updated Sep 10, 2019
View stdpp project

Maxime Dénès / stdpp

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

0

Updated Sep 05, 2019

0 0 0 0

Updated Sep 05, 2019
View stdpp project

Rodolphe Lepigre / stdpp

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

0

Updated Aug 14, 2019

0 0 0 0

Updated Aug 14, 2019
View Iris project

George Pirlea / Iris

The Coq development for Iris. [project website] [coqdoc]

0

Updated Jul 31, 2019

0 0 0 0

Updated Jul 31, 2019
View lambda-rust project

Michael Sammler / lambda-rust

The Coq development of LambdaRust

0

Updated Jul 22, 2019

0 0 0 0

Updated Jul 22, 2019
View Iris project

Rice Wine / Iris

The Coq development for Iris. [project website] [coqdoc]

0

Updated Apr 23, 2019

0 0 0 0

Updated Apr 23, 2019
View rt-proofs project

Sophie Quinton / rt-proofs

The main Coq development.

0

Updated Apr 10, 2019

0 0 0 0

Updated Apr 10, 2019
View stdpp project

Jakob Botsch Nielsen / stdpp

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

0

Updated Mar 16, 2019

0 0 0 0

Updated Mar 16, 2019
View Treiber stack algorithm project

Rodolphe Lepigre / Treiber stack algorithm

0

Updated Mar 06, 2019

0 0 0 0

Updated Mar 06, 2019
View examples project

Daniel Gratzer / examples

Some example verification demonstrating the use of Iris.

0

Updated Mar 06, 2019

0 0 0 0

Updated Mar 06, 2019
View stdpp project

Hai Dang / stdpp

0

Updated Feb 21, 2019

0 0 0 0

Updated Feb 21, 2019
View iris-coq project

Marianna Rapoport / iris-coq

The Coq development for Iris

0

Updated Dec 03, 2018

0 0 0 0

Updated Dec 03, 2018
View iris-coq project

Jeehoon Kang / iris-coq

The Coq development for Iris

0

Updated Oct 12, 2018

0 0 0 0

Updated Oct 12, 2018
View iris-coq project

Jan / iris-coq

The Coq development for Iris

0

Updated Jul 30, 2018

0 0 0 0

Updated Jul 30, 2018
View coq-stdpp project

Marianna Rapoport / coq-stdpp

0

Updated Jul 23, 2018

0 0 0 0

Updated Jul 23, 2018
View prosa-for-certikos project

Maxime Lesourd / prosa-for-certikos

0

Updated Jul 17, 2018

0 0 0 0

Updated Jul 17, 2018
View ipm-fscq-demo project

Joseph Tassarotti / ipm-fscq-demo

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
View cfml2 project

Ralf Jung / cfml2

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

0

Updated Jul 13, 2018

0 0 0 0

Updated Jul 13, 2018
View iris-atomic project

Dan Frumin / iris-atomic

Logically Atomic Triples in Iris

0

Updated Mar 12, 2018

0 0 0 0

Updated Mar 12, 2018
View derek-popl18-talk project

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