coq-prosa

A Foundation for Formally Proven Schedulability Analysis

opam install coq-prosa.0.4
homepage
https://prosa.mpi-sws.org/
license
BSD-2-Clause
bugs tracker
https://gitlab.mpi-sws.org/RT-PROOFS/rt-proofs/issues
dependencies
"coq" {>= "8.9" & < "8.11~"} "coq-mathcomp-ssreflect" {>= "1.9" & < "1.10~"}
source
https://prosa.mpi-sws.org/releases/v0.4/prosa_v04.zip
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-prosa/coq-prosa.0.4