>>1724441

or a board with all the proofs and a link with each one to somewhere they can ask questions and discuss without being in the main research breads