Context-aware Generation of Proof Scripts for Theorem Proving | IEEE Conference Publication | IEEE Xplore