Skip to content
GitLab
Explore
Sign in
RT-PROOFS
PROSA - Formally Proven Schedulability Analysis
Issues
#84
Prosa does not compile with Coq 8.15.0 and mathcomp 1.14.0
There are some Ltac errors. See CI job
#169764
.