Scroll - The Anatomy of Proof Generation