equal
deleted
inserted
replaced
25 \newcommand{\isasymulcorner}{$\ulcorner$} |
25 \newcommand{\isasymulcorner}{$\ulcorner$} |
26 \newcommand{\isasymurcorner}{$\urcorner$} |
26 \newcommand{\isasymurcorner}{$\urcorner$} |
27 \begin{document} |
27 \begin{document} |
28 |
28 |
29 |
29 |
30 \title{Formalising Computability Theory in Isabelle/HOL} |
30 \title{Mechanising Computability Theory in Isabelle/HOL} |
31 \author{Jian Xu\inst{1} \and Xingyuan Zhang\inst{1} \and Christian Urban\inst{2}} |
31 \author{Jian Xu\inst{1} \and Xingyuan Zhang\inst{1} \and Christian Urban\inst{2}} |
32 \institute{PLA University of Science and Technology, China \and King's College London, UK} |
32 \institute{PLA University of Science and Technology, China \and King's College London, UK} |
33 |
33 |
34 \maketitle |
34 \maketitle |
35 |
35 |