Category Archives: General

Which definitions do we want in our library?

I re-read Theorem Proving In Lean over the weekend. The first time I read it was over the summer, when I was learning the basics of Lean, and I got a lot out of it. This time I knew something … Continue reading

Posted in General | Leave a comment

What Xena is not.

A lot of people have asked me questions about Xena and it makes me realise that I’ve not explained some of it clearly enough. At this point, Xena is an almost-empty library of undergraduate level mathematics, written in a programming … Continue reading

Posted in General | Leave a comment

How far can a computer get on the maths degree at Imperial College?

Xena is a student at Imperial College London in the mathematics department. Xena is a bit of a strange one. Firstly, she doesn’t really speak much English. Secondly, in some real sense she knows far less mathematics than the typical … Continue reading

Posted in General | Leave a comment