3 ms·
Yes, this idea of collaborative proofs has been around for a while now, at least for 10 years: https://arxiv.org/abs/1404.6186 https://arxiv.org/abs/1404.6186
by practal 2y ago
Yes, this idea of collaborative proofs has been around for a while now, at least for 10 years: https://arxiv.org/abs/1404.6186 https://arxiv.org/abs/1404.6186