Proof Metrics: Data and Code
This page contains data and code for the paper:
Towards Formal Proof Metrics
,
David Aspinall
and
Cezary Kaliszyk
.
In
Formal Aspects of Software Engineering, FASE
, part of ETAPS 2016.
The published version of the paper is available at
http://link.springer.com
.
Here are some
slides
from the presentation.
Data and code
TO BE ADDED SHORTLY, APOLOGIES FOR THE DELAY