The Quick Start Challenge Proof Archive