Explore projects

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

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

12

Updated Jun 01, 2023

12 52 23 173

Updated Jun 01, 2023
Iris / RefinedC
BSD 3-Clause "New" or "Revised" License

1

Updated Jun 01, 2023

1 3 5 22

Updated Jun 01, 2023
S

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

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

11

Updated Jun 01, 2023

11 40 10 84

Updated Jun 01, 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

3

Updated May 31, 2023

3 19 7 18

Updated May 31, 2023
C

Iris / ci

This project contains some scripts and other files that are used by many Iris project for their CI

0

Updated May 30, 2023

0 3 0 1

Updated May 30, 2023
G

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

A combination of GPS and FSL in the ORC11 semantics (the promising semantics WITHOUT promises)

0

Updated May 29, 2023

0 1

Updated May 29, 2023
Iris / ReLoC
BSD 3-Clause "New" or "Revised" License

A logic for proving contextual refinements [project website]

0

Updated May 10, 2023

0 6 2 6

Updated May 10, 2023