Explore projects

Glen Mével / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Feb 02, 2022

0 0 0 0

Updated Feb 02, 2022
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
Janggun Lee / Iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris. project website(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)

0

Updated Oct 05, 2024

0 0 0 0

Updated Oct 05, 2024
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

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
Benjamin Peters / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Apr 15, 2024

0 0 0 0

Updated Apr 15, 2024
Johannes Hostert / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Feb 29, 2024

0 0 0 0

Updated Feb 29, 2024
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
Ike Mulder / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Mar 05, 2024

0 0 0 0

Updated Mar 05, 2024
Iris / Iris
BSD 3-Clause "New" or "Revised" License

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

11

Updated Dec 09, 2024

11 70 23 197

Updated Dec 09, 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

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

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

0

Updated May 24, 2023

0 0 0 0

Updated May 24, 2023
I

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

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

0

Updated Aug 28, 2023

0 0 0 0

Updated Aug 28, 2023
Pierre Rousselin / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 17, 2023

0 0 0 0

Updated Nov 17, 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
Quentin VERMANDE / Iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris. project website(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)

0

Updated Nov 19, 2024

0 0 0 0

Updated Nov 19, 2024
clef-men / Iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris. project website(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)

0

Updated Nov 24, 2024

0 0 0 0

Updated Nov 24, 2024
Pierre Roux / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 03, 2023

0 0 0 0

Updated Nov 03, 2023
I

Andrej Dudenhefner / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Apr 08, 2021

0 0 0 0

Updated Apr 08, 2021
I

Simon Hudon / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated May 19, 2021

0 0 0 0

Updated May 19, 2021