Projects · Explore · GitLab

Explore GitLab

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

I

Iris / Iris

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

9 27 8 82

Updated Feb 26, 2020
S

Iris / stdpp

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

9 21 3 23

Updated Feb 26, 2020
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 26, 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