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://denk.ubermorgen.info/u34v9gvu2/u34-reference
https://ns3281880.ovh.net/z97q1ix8gr/97q-reference
https://blogs.dgplug.org/l59hjne32p/59h-reference