Explore projects

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

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

13

Updated Dec 02, 2023

13 57 20 193

Updated Dec 02, 2023
Iris / RefinedC
BSD 3-Clause "New" or "Revised" License

1

Updated Dec 01, 2023

1 3 4 23

Updated Dec 01, 2023
R

Lennard Gäher / Refinedrust Dev
Apache License 2.0

0

Updated Dec 01, 2023

0 1 0 1

Updated Dec 01, 2023
S

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

Local Simulation proofs, the Iris style

1

Updated Nov 30, 2023

1 2 0 1

Updated Nov 30, 2023
S

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

Coq development for the Semantics course taught at Saarland University

1

Updated Nov 30, 2023

1 1 0 0

Updated Nov 30, 2023
D

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

0

Updated Nov 29, 2023

0 2 2 0

Updated Nov 29, 2023
P

RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
BSD 2-Clause "Simplified" License

The main Coq development of the Prosa project: http://prosa.mpi-sws.org

2

Updated Nov 27, 2023

2 18 9 18

Updated Nov 27, 2023
S

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

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

12

Updated Nov 25, 2023

12 46 9 86

Updated Nov 25, 2023
L

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

The Coq development of LambdaRust

3

Updated Nov 18, 2023

3 9 4 3

Updated Nov 18, 2023