Progress on exhLangProofs