Explore projects

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

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

11

Updated Dec 13, 2024

11 70 24 197

Updated Dec 13, 2024
I

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

The Coq development for Iris

0

Updated Dec 05, 2024

0 0 0 0

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

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

0

Updated Dec 04, 2024

0 0 0 0

Updated Dec 04, 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
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
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
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
I

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

The Coq development for Iris

0

Updated Nov 13, 2024

0 0 0

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

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

0

Updated Jul 31, 2024

0 0 0 0

Updated Jul 31, 2024
I

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

The Coq development for Iris

0

Updated Jul 23, 2024

0 0 0 0

Updated Jul 23, 2024
I

Yusuke Matsushita / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jul 02, 2024

0 0 0 0

Updated Jul 02, 2024
E

FCS / Expiris
BSD 3-Clause "New" or "Revised" License

1

Updated Jun 01, 2024

1 0 0 0

Updated Jun 01, 2024
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
S

SAV / sav-science

LaTeX package for weak memory papers

0

Updated Apr 23, 2024

0 0 0 0

Updated Apr 23, 2024
M

Adrian Dapprich / master-thesis

0

Updated Apr 19, 2024

0 0 0 0

Updated Apr 19, 2024