H2020 projects about "flyspeck"
The page lists 2 projects related to the topic "flyspeck".
| # |
achronym |
title |
year |
| 1 |
AI4REASON |
Artificial Intelligence for Large-Scale Computer-Assisted Reasoning |
2015 |
| 2 |
SMART |
Strong Modular proof Assistance: Reasoning across Theories |
2017 |
