dots and boxes
Opened this issue · 0 comments
kbuzzard commented
@EllenArlt and I are working on formalising one of my papers! Or at least a much better proof of the main theorem of one of my papers: the paper is https://arxiv.org/abs/1305.2156
Opened this issue · 0 comments
@EllenArlt and I are working on formalising one of my papers! Or at least a much better proof of the main theorem of one of my papers: the paper is https://arxiv.org/abs/1305.2156