Isabelle Parallel Corpus

Resources related to the IPC

• Anthony Bordg, Yiannos Stathopoulos and Lawrence Paulson: A Parallel Corpus of Natural Language and Isabelle Artefacts, AITP 2022. extended abstract and video talk (starts at 1:14:17)
• Anthony Bordg, Yiannos Stathopoulos and Lawrence Paulson: A Parallel Corpus for Natural Language Machine Translation to Isabelle CICM 2022, article available in the following proceedings.