Report copyright - Towards Smart Proof Search for Isabelleaitp-conference.org/2017/slides/yutaka_aitp2017.pdf · 19 Towards Smart Proof Search. | Yutaka Nagashima PaMpeR: Proof Method Recommendation
Please pass captcha verification before submit form