![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Formalizing Mathematics
Oct. 8th, 2003 11:51 pmThe QED Manifesto: What Is the QED Project and Why Is It Important?
Also, try reading some theorems from http://mizar.uwb.edu.pl/JFM/ . Volume is really basic stuff while Volume 15 has theorems about algebraic geometry. I really don't see why mathematicians can't work more like this. A little interface work could go a long way.
Also, try reading some theorems from http://mizar.uwb.edu.pl/JFM/ . Volume is really basic stuff while Volume 15 has theorems about algebraic geometry. I really don't see why mathematicians can't work more like this. A little interface work could go a long way.