Opendata, web and dolomites

H2020 projects about "compcert"

The page lists 3 projects related to the topic "compcert".

# achronym  title  year 
1 CoqHoTT Coq for Homotopy Type Theory 2015
2 SMART Strong Modular proof Assistance: Reasoning across Theories 2017
3 VESTA VErified STAtic analysis platform 2018