The Story of Proof Locker