Explore projects

I

Alix Trieu / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jul 30, 2020

0 0 0 0

Updated Jul 30, 2020
T

Arthur Azevedo de Amorim / Tutorial POPL20
BSD 3-Clause "New" or "Revised" License

0

Updated Jul 28, 2020

0 0 0 0

Updated Jul 28, 2020
S

Armaël Guéneau / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jul 20, 2020

0 0 0 0

Updated Jul 20, 2020
E

Simon Friis Vindum / examples
BSD 3-Clause "New" or "Revised" License

Some example verification demonstrating the use of Iris.

0

Updated Jul 17, 2020

0 0 0 0

Updated Jul 17, 2020
S

sarahzrf / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jun 18, 2020

0 0 0 0

Updated Jun 18, 2020
I

Dan Frumin / iris-examples
BSD 3-Clause "New" or "Revised" License

Some example verification demonstrating the use of Iris.

0

Updated May 18, 2020

0 0 0 0

Updated May 18, 2020
S

Paolo G. Giarrusso / string-ident
BSD 3-Clause "New" or "Revised" License

An "Iris plugin" to add support for Gallina names in intro patterns to the Iris Proof Mode

0

Updated Apr 29, 2020

0 0 0 0

Updated Apr 29, 2020
I

Abel Nieto / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Apr 26, 2020

0 0 0 0

Updated Apr 26, 2020
I

Dmitry Khalanskiy / Iris
Creative Commons Attribution 4.0 International

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

0

Updated Apr 14, 2020

0 0 0 0

Updated Apr 14, 2020
I

Jules Jacobs / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Mar 21, 2020

0 0 0 0

Updated Mar 21, 2020
C

David Swasey / coq-stdpp
BSD 3-Clause "New" or "Revised" License

0

Updated Feb 23, 2020

0 0 0 0

Updated Feb 23, 2020
I

Michael Sammler / iris-coq
Creative Commons Attribution 4.0 International

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

0

Updated Feb 04, 2020

0 0 0 0

Updated Feb 04, 2020
O

FCS / ocpl-coq
Creative Commons Attribution 4.0 International

0

Updated Feb 02, 2020

0 0 0 0

Updated Feb 02, 2020
I

Abhishek Anand / Iris
Creative Commons Attribution 4.0 International

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

0

Updated Jan 30, 2020

0 0 0 0

Updated Jan 30, 2020
S

Michael Sammler / stdpp
BSD 3-Clause "New" or "Revised" License

An extended "Standard Library" for Coq

0

Updated Jan 30, 2020

0 0 0 0

Updated Jan 30, 2020
T

Germán Delbianco / Tutorial POPL20
BSD 3-Clause "New" or "Revised" License

0

Updated Jan 21, 2020

0 0 0 0

Updated Jan 21, 2020
I

Germán Delbianco / Iris
Creative Commons Attribution 4.0 International

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

0

Updated Jan 21, 2020

0 0 0 0

Updated Jan 21, 2020
I

Maxime Dénès / iris-coq
Creative Commons Attribution 4.0 International

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

0

Updated Dec 13, 2019

0 0 0 0

Updated Dec 13, 2019
E

Rodolphe Lepigre / examples
BSD 3-Clause "New" or "Revised" License

Some example verification demonstrating the use of Iris.

0

Updated Nov 14, 2019

0 0 0 0

Updated Nov 14, 2019
T

Paolo G. Giarrusso / tutorial-popl18

Exercises for the Iris tutorial

0

Updated Nov 12, 2019

0 0 0 0

Updated Nov 12, 2019