Explore projects

T

Iris / transfinite
Creative Commons Attribution 4.0 International

Iris with transfinite step-indexing

1

Updated Jan 18, 2025

1 1 0 0

Updated Jan 18, 2025
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 Jan 13, 2025

0 0 0 0

Updated Jan 13, 2025
Adam / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jan 09, 2025

0 0 0 0

Updated Jan 09, 2025
I

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

The Coq development for Iris

0

Updated Dec 22, 2024

0 0 0

Updated Dec 22, 2024
S

FP / semantics-course
BSD 3-Clause "New" or "Revised" License

Coq development for the Semantics course taught at Saarland University

0

Updated Dec 17, 2024

0 1 0 0

Updated Dec 17, 2024
L

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
R

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

The main Coq development.

0

Updated Dec 13, 2024

0 0 2 0

Updated Dec 13, 2024
T

Dongjae Lee / transfinite
Creative Commons Attribution 4.0 International

Iris with transfinite step-indexing

0

Updated Dec 12, 2024

0 0 0 0

Updated Dec 12, 2024
RT-PROOFS / ProBsa

Axiomatic pWCET, formalized in Coq

3

Updated Nov 28, 2024

3 0 1 1

Updated Nov 28, 2024
I

Iris / ITree Program Logic
BSD 3-Clause "New" or "Revised" License

0

Updated Nov 27, 2024

0 0 0 0

Updated Nov 27, 2024
clef-men / 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 Nov 24, 2024

0 0 0 0

Updated Nov 24, 2024
Dongjae 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 Nov 22, 2024

0 0 0 0

Updated Nov 22, 2024
S

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

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

0

Updated Nov 22, 2024

0 0 0 0

Updated Nov 22, 2024
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 Nov 19, 2024

0 0 0 0

Updated Nov 19, 2024
Isaac van Bakel / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 15, 2024

0 0 0 0

Updated Nov 15, 2024
Daniel Nezamabadi / 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 Nov 13, 2024

0 0 0 0

Updated Nov 13, 2024
Q

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

0

Updated Nov 11, 2024

0 0 0 0

Updated Nov 11, 2024
P

Iris / POPL21 Iris Tutorial
BSD 3-Clause "New" or "Revised" License

A tutorial for the Iris Separation Logic Framework

0

Updated Oct 30, 2024

0 0 0 0

Updated Oct 30, 2024
P

Iris / POPL20 Iris Tutorial
BSD 3-Clause "New" or "Revised" License

0

Updated Oct 30, 2024

0 2 0 1

Updated Oct 30, 2024
Iris / ReLoC
BSD 3-Clause "New" or "Revised" License

A logic for proving contextual refinements [project website]

1

Updated Oct 30, 2024

1 7 2 5

Updated Oct 30, 2024