title = "Formal Proof Authoring: an Experiment",
booktitle = "User Interface Design for Theorem Provers",
editor = "David Aspinall and Christoph L{\"u}th",
title = "Formal Proof Authoring: an Experiment",
booktitle = "User Interface Design for Theorem Provers",
editor = "David Aspinall and Christoph L{\"u}th",