Solves problems about open sets in topology with proven strategies.
/open-setsparcadei/Continuous-Claude-v3
/open-sets