Explore projects

View thesis-johnnatan-template project

Johnnatan Messias / thesis-johnnatan-template

0

Updated Sep 17, 2023

0 0 0 0

Updated Sep 17, 2023
View master-thesis project

Adrian Dapprich / master-thesis

0

Updated Apr 19, 2024

0 0 0 0

Updated Apr 19, 2024
View Iris Physical Step project

Thomas Somers / Iris Physical Step
BSD 3-Clause "New" or "Revised" License

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

0

Updated Dec 04, 2025

0 0 1 0

Updated Dec 04, 2025
View Iris Parametric Index project

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

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

0

Updated Mar 28, 2025

0 0 0 5

Updated Mar 28, 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

Markus de Medeiros / 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 Jul 15, 2025

0 0 0 0

Updated Jul 15, 2025
View iris project

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

The Coq development for Iris

0

Updated Dec 11, 2025

0 0 0 0

Updated Dec 11, 2025
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

Thomas Lamiaux / 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 Sep 03, 2024

0 0 0 0

Updated Sep 03, 2024
View Iris project

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

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

0

Updated Oct 07, 2025

0 0 0 0

Updated Oct 07, 2025
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

Daniel Nezamabadi / 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 13, 2024

0 0 0 0

Updated Nov 13, 2024
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

Tej Chajed / iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris

0

Updated Oct 24, 2025

0 0 0 0

Updated Oct 24, 2025
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

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 Dec 16, 2025

0 0 0 0

Updated Dec 16, 2025
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

ffengyu / 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 31, 2025

0 0 0 0

Updated Aug 31, 2025
View Iris project

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 Jun 11, 2025

0 0 0 0

Updated Jun 11, 2025
View Iris project

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

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

0

Updated Jan 09, 2025

0 0 0 0

Updated Jan 09, 2025