dan1 авг., 18:52ran out of max credits on both Sol and Fable trying to grind a mathematical theorem and get some novel results conclusions so far (thread):
