3 ms·Mathematician's anger over his unread 500-page proof5 points by ca98am79 12y agopacala 12y agoWww.mizar.org Coq.inria.fr