Towards Formal Proof Metrics.

David Aspinall, Cezary Kaliszyk

Browse the full FASE paper archive.