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
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
I

Hugo Herbelin / iris-coq
Creative Commons Attribution 4.0 International

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

0

Updated Oct 24, 2020

0 0 0 0

Updated Oct 24, 2020
I

Marianna Rapoport / iris-coq
Creative Commons Attribution 4.0 International

The Coq development for Iris

0

Updated Dec 03, 2018

0 0 0 0

Updated Dec 03, 2018
Simon Spies / Iris Parametric Index
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 22, 2024

0 0 0 5

Updated Nov 22, 2024
I

Rice Wine / Iris
Creative Commons Attribution 4.0 International

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

0

Updated Apr 23, 2019

0 0 0 0

Updated Apr 23, 2019
I

Hai Dang / Iris
Creative Commons Attribution 4.0 International

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

0

Updated Jun 20, 2019

0 0 0 0

Updated Jun 20, 2019
Isaac van Bakel / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 15, 2024

0 0 0 0

Updated Nov 15, 2024
Iris / Iris
BSD 3-Clause "New" or "Revised" License

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

12

Updated Jan 17, 2025

12 71 24 197

Updated Jan 17, 2025
I

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

The Coq development for Iris

0

Updated Dec 22, 2024

0 0 0

Updated Dec 22, 2024
Vincent / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jun 08, 2022

0

Updated Jun 08, 2022
I

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

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

0

Updated Jan 22, 2021

0 0 0 0

Updated Jan 22, 2021
I

George Pirlea / Iris
Creative Commons Attribution 4.0 International

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

0

Updated Jul 31, 2019

0 0 0 0

Updated Jul 31, 2019
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

Jonas Kastberg / iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris

0

Updated Jan 18, 2024

0 0 0 0

Updated Jan 18, 2024
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
I

Gregory Malecha / Iris
Creative Commons Attribution 4.0 International

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

0

Updated Apr 04, 2023

0 0 0 0

Updated Apr 04, 2023
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

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