5 ms·
My apologies for the lack of clarity: I was following the thought path that was concerned with the validity of the four color theorem proof because of the Coq b
by cheatsheet 11y ago
My apologies for the lack of clarity: I was following the thought path that was concerned with the validity of the four color theorem proof because of the Coq bug.