Project creator here- I really did not expect it to get posted on hackernews! A nice surprise for sure though.
Seems like someone found the site and posted without me.
I am still working on the site and was planning on launching in a few weeks. There are some usability issues and some
features on my roadmap I haven’t gotten to yet.
That said- if folks are interested in helping contributing new problems/proofs, hunting bugs, or giving suggestions, we have a discord https://discord.gg/ds23BgPq6
Comments
Project creator here- I really did not expect it to get posted on hackernews! A nice surprise for sure though.
Seems like someone found the site and posted without me.
I am still working on the site and was planning on launching in a few weeks. There are some usability issues and some features on my roadmap I haven’t gotten to yet.
That said- if folks are interested in helping contributing new problems/proofs, hunting bugs, or giving suggestions, we have a discord https://discord.gg/ds23BgPq6