[Mova](https://md.mova.elamur.ai/free/en/) · [this page in HTML](https://mova.elamur.ai/free/en/docs/papers/isabelle-2017-challenge-set-approach-evaluating-machine/cited-by/page/2/)

This page now lives at [/free/en/docs/papers/cited-by/isabelle-2017-challenge-set-approach-evaluating-machine-2/](https://md.mova.elamur.ai/free/en/docs/papers/cited-by/isabelle-2017-challenge-set-approach-evaluating-machine-2/).