A Formal Proof Generator from Semi-formal Proof Documents | Publicación