https://gitlab.mpi-sws.org/RT-PROOFS/rt-proofs

The main Coq development of the Prosa project: http://prosa.mpi-sws.org
https://gitlab.mpi-sws.org/RT-PROOFS/rt-proofs

Last synced: 2 months ago
JSON representation

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

• Host: gitlab.mpi-sws.org
• URL: https://gitlab.mpi-sws.org/RT-PROOFS/rt-proofs
• Owner: RT-PROOFS
• License: bsd-2-clause
• Created: 2016-01-15T11:13:57.212Z (about 9 years ago)
• Default Branch: master
• Last Synced: 2024-08-21T07:31:05.201Z (6 months ago)
• Stars: 2
• Forks: 18
• Open Issues:

Awesome Lists containing this project

• awesome-coq - Prosa - Definitions and proofs for real-time system schedulability analysis. (Projects / Verified Software)