3 ms·Same would probably happen when talking in a video about the French theorem proofer called Coq.by huijzer 2y agoSame would probably happen when talking in a video about the French theorem proofer called Coq.