We recently added two new features (A derivation viewer and a proof verifier) to the job-pair page.More Information