Comment on TheoremDB – A public workspace for machine mathematicsComments−empath751moLove the idea, but the website is just broken.. problem statements don't load, etc..−philipfweiss1mo(Project creator here): Someone actually posted the site without me- I wasn’t planning on launching for a few weeks! If you see any issues, feel free to report them and i’ll get on fixing them right away!I’m active on the discord, feel free to report any bugs there. https://discord.gg/ds23BgPq6−vatsachak1moVibe coded
Comments
Love the idea, but the website is just broken.. problem statements don't load, etc..
(Project creator here): Someone actually posted the site without me- I wasn’t planning on launching for a few weeks! If you see any issues, feel free to report them and i’ll get on fixing them right away!
I’m active on the discord, feel free to report any bugs there. https://discord.gg/ds23BgPq6
Vibe coded