Opendata, web and dolomites
H2020 projects about "isabelle"
The page lists 4 projects related to the topic "isabelle".
| # | |||
|---|---|---|---|
| 1 | CoVeCe | Coinduction for Verification and Certification | 2016 |
| 2 | SMART | Strong Modular proof Assistance: Reasoning across Theories | 2017 |
| 3 | Matryoshka | Fast Interactive Verification through Strong Higher-Order Automation | 2017 |
| 4 | GROUT | Governing ResOurce UrbanisaTion (GROUT): Multi-stakeholder governance of extractive industries in the era of planetary urbanisation | 2020 |