Opendata, web and dolomites
H2020 projects about "formalisation"
The page lists 3 projects related to the topic "formalisation".
| # | |||
|---|---|---|---|
| 1 | MoStMusic | Models of Structure in Music | 2016 |
| 2 | ALEXANDRIA | Large-Scale Formal Proof for the Working Mathematician | 2017 |
| 3 | ILLR | Intellectual Life and Learning on Rhodes (168BC-AD44) | 2018 |