3 ms·
There is an increasing appreciation that large proofs need "proof engineering" that is similar to software engineering. See e.g. - D. Aspinall, C. Kaliszyk, To
by mafribe 10y ago
There is an increasing appreciation that large proofs need "proof engineering" that is similar to software engineering. See e.g.
- D. Aspinall, C. Kaliszyk, Towards Formal Proof Metrics.
- G. Klein, Proof Engineering Considered Essential.
- G. Gonthier, Engineering Mathematics: The Odd Order Theorem Proof.
- T. Bourke, M. Daum, G. Klein, R. Kolanski, Challenges and Experiences in Managing Large-Scale Proofs.
- JadeNB 10y agoLinks, unfortunately non-free: Towards formal proof metrics: http://link.springer.com/chapter/10.1007/978-3-662-49665-7_19 http://link.springer.com/chapter/10.1007/978-3-662-49665-7_1... Proof engineering considered essential: http://link.springer.com/chapter/10.1007/978-3-319-06410-9_2 http://link.springer.com/chapter/10.1007/978-3-319-06410-9_2 Engineering mathematics: http://dl.acm.org/citation.cfm?id=2429071 http://dl.acm.org/citation.cfm?id=2429071 Challenges and experiences …: http://link.springer.com/chapter/10.1007/978-3-642-31374-5_3 http://link.springer.com/chapter/10.1007/978-3-642-31374-5_3