Opendata, web and dolomites
  1. home
  2. trasparenza
  3. open h2020
  4. per topic
  5. provers

H2020 projects about "provers"

The page lists 4 projects related to the topic "provers".

# achronym  title  year 
1 CoqHoTT Coq for Homotopy Type Theory 2015
2 SMART Strong Modular proof Assistance: Reasoning across Theories 2017
3 Matryoshka Fast Interactive Verification through Strong Higher-Order Automation 2017
4 ALEXANDRIA Large-Scale Formal Proof for the Working Mathematician 2017