Explore projects

M

Adrian Dapprich / master-thesis

0

Updated Apr 19, 2024

0 0 0 0

Updated Apr 19, 2024
I

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

The Coq development for Iris

0

Updated Sep 09, 2023

0 0 0 0

Updated Sep 09, 2023
Simon Spies / Iris Parametric Index
BSD 3-Clause "New" or "Revised" License

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

0

Updated Mar 06, 2025

0 0 0 5

Updated Mar 06, 2025
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

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
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
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 Feb 13, 2025

0 0 0 0

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

0 0 0 0

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

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

11

Updated Mar 12, 2025

11 72 22 197

Updated Mar 12, 2025
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
tlsomers / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Mar 12, 2025

0 0 0 0

Updated Mar 12, 2025
I

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

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

0

Updated Feb 01, 2023

0 0 0 0

Updated Feb 01, 2023
Pierre Roux / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Sep 16, 2024

0 0 0 0

Updated Sep 16, 2024
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
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
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
Yiyun Liu / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Feb 06, 2025

0 0 0 0

Updated Feb 06, 2025
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
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
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