Explore projects
-
Simon Spies / transfinite
Creative Commons Attribution 4.0 InternationalIris with transfinite step-indexing
Updated -
Thomas Somers / iris-contrib
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Abel Nieto / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
-
Amin Timany / coq-stdpp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Raw Jaeger traces and X-Trace converted traces of DeathStarBench executions
Updated -
tjhance / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
-
Jeehoon Kang / iris-coq
Creative Commons Attribution 4.0 InternationalThe Coq development for Iris
Updated -
Updated
-
Updated
-
Sanjit Bhat / POPL21 Iris Tutorial
BSD 3-Clause "New" or "Revised" LicenseA tutorial for the Iris Separation Logic Framework
Updated -
Updated
-
Thomas Somers / lambda-rust
BSD 3-Clause "New" or "Revised" LicenseThe Coq development of LambdaRust
Updated -
Updated
-
sarahzrf / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Simcha van Collem / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
AVA / FloVer
BSD 2-Clause with views sentenceA certificate checker for roundoff error bounds
Updated -
Baltasar Dinis / sloth
MIT LicenseUpdated
