tptp reference
I recently came across a new platform while browsing, and I was surprised by how smooth and fast the overall experience feels compared to others I've tried before, especially in terms of loading speed and usability
https://people.kernel.org/e8zzan7hsp/8zz-reference
https://wf.unixcat.net/dj6rfhmqw/dj6-reference
https://fmmohns3.kc2g.com/z62t0vu44q/62t-reference