Opendata, web and dolomites

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