Opendata, web and dolomites
H2020 projects about "formalising"
The page lists 3 projects related to the topic "formalising".
| # | |||
|---|---|---|---|
| 1 | BUILD UPON | A multi-stakeholder Regional Action Network as a living structural base to effectively help define and implement deep energy efficient building renovation at local, national and European level. | 2015 |
| 2 | ALEXANDRIA | Large-Scale Formal Proof for the Working Mathematician | 2017 |
| 3 | CARBS | Compositional Approximate Reasoning via Bialgebraic Semantics | 2019 |