Explore projects

View Tutorial POPL20 project

Germán Delbianco / Tutorial POPL20
BSD 3-Clause "New" or "Revised" License

0

Updated Jan 21, 2020

0 0 0 0

Updated Jan 21, 2020
View iris-coq-public project

Joseph Tassarotti / iris-coq-public
BSD 3-Clause "New" or "Revised" License

0

Updated Mar 22, 2021

0 0 0 0

Updated Mar 22, 2021
View Iris project

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

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

0

Updated Jul 16, 2025

0 0 0 0

Updated Jul 16, 2025
View Iris project

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
View ipm-fscq-demo project

Joseph Tassarotti / ipm-fscq-demo
MIT License

This is a demo showing how the the Iris Proof Mode can be used with FSCQ.

0

Updated Jul 16, 2018

0 0 0 0

Updated Jul 16, 2018
View LambdaRust-coq project

Maxime Dénès / LambdaRust-coq
BSD 3-Clause "New" or "Revised" License

The Coq development of LambdaRust

0

Updated Sep 10, 2019

0 0 0 0

Updated Sep 10, 2019
View Iris project

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

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

0

Updated Feb 09, 2025

0 0 0 0

Updated Feb 09, 2025
View refinedc project

Laila Elbeheiry / refinedc
BSD 3-Clause "New" or "Revised" License

0

Updated Jul 06, 2023

0 0 0 0

Updated Jul 06, 2023
View tutorial-popl18 project

Paolo G. Giarrusso / tutorial-popl18

Exercises for the Iris tutorial

0

Updated Nov 12, 2019

0 0 0 0

Updated Nov 12, 2019
View stdpp project

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

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

0

Updated Jun 18, 2020

0 0 0 0

Updated Jun 18, 2020
View lambda-rust project

Daniël Louwrink / lambda-rust
BSD 3-Clause "New" or "Revised" License

The Coq development of LambdaRust

0

Updated Jan 19, 2021

0 0 0 0

Updated Jan 19, 2021
View Iris project

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
View Tutorial POPL20 project

Arthur Azevedo de Amorim / Tutorial POPL20
BSD 3-Clause "New" or "Revised" License

0

Updated Jul 28, 2020

0 0 0 0

Updated Jul 28, 2020
View daisy-certification-public project

AVA / daisy-certification-public
BSD 2-Clause with views sentence

0

Updated Aug 11, 2017

0 0

Updated Aug 11, 2017
View iris-atomic project

Janno / iris-atomic

Logically Atomic Triples in Iris

0

Updated Jul 10, 2017

0 0 0 0

Updated Jul 10, 2017
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 Actris project

Philip K. / Actris
BSD 3-Clause "New" or "Revised" License

0

Updated Dec 11, 2025

0 0 0 0

Updated Dec 11, 2025
View stdpp project

Rodolphe Lepigre / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Aug 14, 2019

0 0 0 0

Updated Aug 14, 2019
View Iris project

ds-ac / 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 Jul 02, 2025

0 0 0 0

Updated Jul 02, 2025
View stdpp project

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

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

0

Updated Sep 08, 2024

0 0 0

Updated Sep 08, 2024