Same would probably happen when talking in a video about the French theorem proo...

		huijzer 11 months ago \| parent \| context \| favorite \| on: Ending our third party fact-checking program and m... Same would probably happen when talking in a video about the French theorem proofer called Coq.