At the end of the post it says this: "About xenaproject "The Xena Project aims to get mathematics undergraduates (at Imperial College and beyond) trained in t

At the end of the post it says this: "About xenaproject "The Xena Project aims to get mathematics undergraduates (at Imperial College and beyond) trained in the art of formalising mathematics on a computer. Why? Because I have this feeling that digitising mathematics will be really important one day."