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