Explore projects

View Iris project

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

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

The Coq development for Iris

0

Updated Oct 30, 2025

0 0 0

Updated Oct 30, 2025
View Iris project

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

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

0

Updated Oct 30, 2025

0 0 0 0

Updated Oct 30, 2025
View Iris project

Niklas Mück / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 17, 2022

0 0 0 0

Updated Nov 17, 2022
View Iris project

Pierre Roux / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jan 07, 2026

0 0 0 0

Updated Jan 07, 2026
View Iris project

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

Dongjae 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 Aug 03, 2025

0 0 0 0

Updated Aug 03, 2025
View Iris project

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

William Mansky / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Apr 12, 2024

0 0 0 0

Updated Apr 12, 2024
View Iris project

Benjamin Peters / Iris
BSD 3-Clause "New" or "Revised" License

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

1

Updated Aug 02, 2025

1 0 0 0

Updated Aug 02, 2025
View Iris project

Yixuan Chen / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated May 21, 2024

0 0 0 0

Updated May 21, 2024
View Iris project

Johannes Hostert / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Dec 26, 2025

0 0 0 0

Updated Dec 26, 2025
View Iris project

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

Gaëtan Gilbert / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 20, 2023

0 0 0 0

Updated Nov 20, 2023
View Iris project

tjhance / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Sep 03, 2024

0 0 0 0

Updated Sep 03, 2024
View Iris project

Isaac van Bakel / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jan 18, 2026

0 0 0 0

Updated Jan 18, 2026
View Iris project

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

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

Amin Timany / iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris

0

Updated Dec 14, 2025

0 0 0 0

Updated Dec 14, 2025
View Iris project

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