Opendata, web and dolomites

H2020 projects about "checkable"

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

#	achronym	title	year
1	ALEXANDRIA	Large-Scale Formal Proof for the Working Mathematician	2017
2	FRAPPANT	Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation	2018
3	FTHPC	Fault Tolerant High Performance Computing	2019