Skip to main content
PRL Project

Proof Assistants and the Dynamic Nature of Formal Theories

by Robert L. Constable
2012

From the Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving
Manchester, UK, June 30, 2012

bibTex ref: ConIJCAR12


cite link