2 ms·
Thoughts on the Pythagorean Theorem
- ColinWright 6y agoAt 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."