Explore projects

View stdpp project

Simcha van Collem / 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 29, 2025

0 0 0 0

Updated Oct 29, 2025
View Iris project

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

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

0

Updated Oct 29, 2025

0 0 0 0

Updated Oct 29, 2025
View POET project

RT-PROOFS / POET
BSD 2-Clause "Simplified" License

The POET Response-Time Certificate Generator — see also https://prosa.mpi-sws.org/poet.html

0

Updated Oct 25, 2025

0 0 0 3

Updated Oct 25, 2025
View rt-proofs project

Sergey Bozhko / rt-proofs
BSD 2-Clause "Simplified" License

The main Coq development.

0

Updated Oct 24, 2025

0 0 2 0

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

Egor Namakonov / 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 21, 2025

0 0 0 0

Updated Oct 21, 2025
View os.mpi-sws.org project

osnet / os.mpi-sws.org

https://os.mpi-sws.org/

2

Updated Oct 21, 2025

2 0 0 0

Updated Oct 21, 2025
View iris-contrib project

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

0

Updated Oct 17, 2025

0 5 0 0

Updated Oct 17, 2025
View lambda-where-fullproofs project

Jan / lambda-where-fullproofs

0

Updated Oct 17, 2025

0 0 0 0

Updated Oct 17, 2025
View iris-coq project

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

The Coq development for Iris

0

Updated Oct 16, 2025

0 0 0 0

Updated Oct 16, 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 academicpages project

Carina Schmitt / academicpages
MIT License

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

0

Updated Oct 15, 2025

0 1 0 0

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

0 0 0 0

Updated Oct 13, 2025
View RobustDimSum project

FP / RobustDimSum
BSD 3-Clause "New" or "Revised" License

0

Updated Oct 08, 2025

0 0 0 0

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

Simcha van Collem / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Oct 05, 2025

0 0 0 0

Updated Oct 05, 2025
View stdpp project

Brian Campbell / 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 03, 2025

0 0 0 0

Updated Oct 03, 2025
View stdpp project

Sanjit Bhat / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Sep 30, 2025

0 0 0 0

Updated Sep 30, 2025
View examples project

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

Some example verification demonstrating the use of Iris.

0

Updated Sep 29, 2025

0 0 0 0

Updated Sep 29, 2025
View Iris project

Isaac van Bakel / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Sep 26, 2025

0 0 0 0

Updated Sep 26, 2025