Explore projects

I

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

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

0

Updated May 24, 2023

0 0 0 0

Updated May 24, 2023
G

Dan Frumin / gitree

0

Updated May 23, 2023

0 0 0 0

Updated May 23, 2023
P

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
T

Simon Spies / transfinite
Creative Commons Attribution 4.0 International

Iris with transfinite step-indexing

0

Updated May 08, 2023

0 2 0 0

Updated May 08, 2023
B

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

0

Updated May 04, 2023

0 0 0 0

Updated May 04, 2023
I

Gregory Malecha / Iris
Creative Commons Attribution 4.0 International

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

0

Updated Apr 04, 2023

0 0 0 0

Updated Apr 04, 2023
L

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

The Coq development of LambdaRust

0

Updated Mar 08, 2023

0 0 0 0

Updated Mar 08, 2023
S

Herman Bergwerf / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Mar 08, 2023

0 0 0 0

Updated Mar 08, 2023
Armaël Guéneau / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Mar 02, 2023

0 0 0 0

Updated Mar 02, 2023
Simcha van Collem / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Feb 08, 2023

0 0 0 0

Updated Feb 08, 2023
I

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

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

0

Updated Feb 01, 2023

0 0 0 0

Updated Feb 01, 2023
R

Pascal Fradet / rt-proofs

The main Coq development.

1

Updated Jan 30, 2023

1 0 0 0

Updated Jan 30, 2023
P

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
E

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

Some example verification demonstrating the use of Iris.

0

Updated Jan 24, 2023

0 0 0 0

Updated Jan 24, 2023
L

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
S

Olivier Laurent / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 27, 2022

0 0 0 0

Updated Nov 27, 2022
S

Ralf Jung / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 18, 2022

0 0 0 1

Updated Nov 18, 2022
Niklas Mück / ReLoC
BSD 3-Clause "New" or "Revised" License

A logic for proving contextual refinements [project website]

0

Updated Nov 17, 2022

0 0 0 0

Updated Nov 17, 2022
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
S

Jonas Kastberg / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Sep 28, 2022

0 0 0 0

Updated Sep 28, 2022