#	Pagina
attuale pagina	/open-h2020/per-topic/provers/list/index.html
-1	/open-dormire/piemonte/NOVARA/id-300140/castellania-lago-d-orta.html
-2	/open-dormire/emiliaromagna/PC/id-7598/b-b-antonella.html
-3	/open-h2020/per-topic/reconceptualised/list/index.html
-4	/open-h2020/per-topic/koper/list/index.html
-5	/open-h2020/per-topic/protocolized/list/index.html
-6	/open-h2020/per-topic/piraeus/list/index.html
-7	/open-h2020/per-topic/surrogacy/list/index.html
-8	/open-consip/ordini-diretti-mepa/2017/cpv/35821000-5/index.html
-9	/open-dormire/veneto/BELLUNO/SOSPIROLO/BED+AND+BREAKFAST/0/index.html
-10	/open-dichiarazioni/2015/78126/index.html

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