Opendata, web and dolomites
H2020 projects about "coq"
The page lists 6 projects related to the topic "coq".
| # | |||
|---|---|---|---|
| 1 | CoqHoTT | Coq for Homotopy Type Theory | 2015 |
| 2 | CoVeCe | Coinduction for Verification and Certification | 2016 |
| 3 | SMART | Strong Modular proof Assistance: Reasoning across Theories | 2017 |
| 4 | Matryoshka | Fast Interactive Verification through Strong Higher-Order Automation | 2017 |
| 5 | VESTA | VErified STAtic analysis platform | 2018 |
| 6 | TOROS | A Theory-Oriented Real-Time Operating System for Temporally Sound Cyber-Physical Systems | 2019 |