Happy new year everyone! Today, we’re pleased to announce a bundle of updates and improvements that we’ve made to help you discover more on ProofHub. So here’s all of them, one by one: