Comment by dooglius

2 months ago

I wonder if in each case they had parallel sessions, one trying to prove, one trying to find a counterexample

0 comments