Explore projects

View stdpp project

Thomas Lamiaux / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Sep 03, 2024

0 0 0 0

Updated Sep 03, 2024
View Iris project

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 Apr 17, 2025

0 0 0 0

Updated Apr 17, 2025
View Iris project

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

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

0

Updated Feb 06, 2025

0 0 0 0

Updated Feb 06, 2025
View stdpp project

Yiyun Liu / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jul 31, 2024

0 0 0 0

Updated Jul 31, 2024
View stdpp project

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

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

0

Updated Jul 19, 2024

0 0 0 0

Updated Jul 19, 2024
View Diaframe project

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

Automation for Iris

0

Updated Jul 18, 2024

0 0 0 0

Updated Jul 18, 2024
View Iris project

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
View Expiris project

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

1

Updated Jun 01, 2024

1 0 0 0

Updated Jun 01, 2024
View lambda-rust project

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

The Coq development of LambdaRust

0

Updated Dec 13, 2024

0 0 0 0

Updated Dec 13, 2024
View Satisfiable Demo project

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

0

Updated Jun 10, 2024

0 0 0 0

Updated Jun 10, 2024
View master-thesis project

Adrian Dapprich / master-thesis

0

Updated Apr 19, 2024

0 0 0 0

Updated Apr 19, 2024
View Iris project

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

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

1

Updated Apr 10, 2025

1 0 0 0

Updated Apr 10, 2025
View Quiver project

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

1

Updated Jul 12, 2024

1 1 0 0

Updated Jul 12, 2024
View stdpp project

Yannick Zakowski / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Apr 12, 2024

0 0 0 0

Updated Apr 12, 2024
View Iris project

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
View tutorial-popl24 project

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

0

Updated Jan 16, 2024

0 0 0 0

Updated Jan 16, 2024
View stdpp project

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

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

0

Updated Jun 04, 2024

0 0 0 0

Updated Jun 04, 2024
View Actris project

Thomas Somers / Actris
BSD 3-Clause "New" or "Revised" License

0

Updated Mar 05, 2024

0 0 0 0

Updated Mar 05, 2024
View Iris project

Gaëtan Gilbert / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 20, 2023

0 0 0 0

Updated Nov 20, 2023
View Iris project

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

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

0

Updated Mar 12, 2025

0 0 0 0

Updated Mar 12, 2025