Projects · Explore · GitLab

Explore GitLab

Discover projects, groups and snippets. Share your projects with others

P

RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

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

1 13 1 10

Updated Feb 25, 2020
I

Iris / Iris

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

9 27 11 83

Updated Feb 24, 2020
S

Iris / stdpp

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

9 20 1 23

Updated Feb 24, 2020
P

Marco Maida / PROSA - Formally Proven Schedulability Analysis

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

0 0 0 0

Updated Feb 19, 2020