Explore projects

View Actris project

Ike Mulder / Actris
BSD 3-Clause "New" or "Revised" License

0

Updated Nov 30, 2025

0 0 0 0

Updated Nov 30, 2025
View Coq Tricks project

Iris / Coq Tricks

0

Updated Dec 01, 2021

0 0 0 0

Updated Dec 01, 2021
View ReLoC project

Simon Friis Vindum / ReLoC
BSD 3-Clause "New" or "Revised" License

A logic for proving contextual refinements [project website]

0

Updated Sep 10, 2020

0 0 0 0

Updated Sep 10, 2020
View ReLoC project

Ike Mulder / ReLoC
BSD 3-Clause "New" or "Revised" License

A logic for proving contextual refinements [project website]

0

Updated Feb 16, 2024

0 0 0 0

Updated Feb 16, 2024
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 stdpp project

Janno / stdpp
BSD 3-Clause "New" or "Revised" License

An extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)

0

Updated Oct 16, 2025

0 0 0 0

Updated Oct 16, 2025
View lambda-rust project

Michael Sammler / lambda-rust
BSD 3-Clause "New" or "Revised" License

The Coq development of LambdaRust

0

Updated Jul 22, 2019

0 0 0 0

Updated Jul 22, 2019
View examples project

Quentin VERMANDE / examples
BSD 3-Clause "New" or "Revised" License

Some example verification demonstrating the use of Iris.

0

Updated May 15, 2025

0 0 0 0

Updated May 15, 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

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 lambda-rust project

Jason Hu / lambda-rust
BSD 3-Clause "New" or "Revised" License

The Coq development of LambdaRust

0

Updated Dec 22, 2022

0 0 0 0

Updated Dec 22, 2022
View stdpp project

Matthieu Sozeau / stdpp
BSD 3-Clause "New" or "Revised" License

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Jan 21, 2022

0 0 0 0

Updated Jan 21, 2022
View tutorial-popl24 project

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

0

Updated Jan 16, 2024

0 1 0 0

Updated Jan 16, 2024
View PROSA - Formally Proven Schedulability Analysis project

Pierre Roux / PROSA - Formally Proven Schedulability Analysis
BSD 2-Clause "Simplified" License

The main Coq development of the Prosa project: http://prosa.mpi-sws.org

0

Updated May 12, 2023

0 0 0 0

Updated May 12, 2023
View PROSA - Formally Proven Schedulability Analysis project

Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis
BSD 2-Clause "Simplified" License

The main Coq development of the Prosa project: http://prosa.mpi-sws.org

0

Updated Jan 28, 2023

0 0 0 0

Updated Jan 28, 2023
View examples project

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

Some example verification demonstrating the use of Iris.

0

Updated Jan 07, 2026

0 0 0 0

Updated Jan 07, 2026
View Iris project

Glen Mével / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Feb 02, 2022

0 0 0 0

Updated Feb 02, 2022
View iris-coq project

Michael Sammler / iris-coq
Creative Commons Attribution 4.0 International

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

0

Updated Feb 04, 2020

0 0 0 0

Updated Feb 04, 2020
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 stdpp project

Hai Dang / stdpp
BSD 3-Clause "New" or "Revised" License

0

Updated Feb 21, 2019

0 0 0 0

Updated Feb 21, 2019