4 ms·This is an assertion without data to back it up. Care to elaborate?by ra1n85 8y agoThis is an assertion without data to back it up. Care to elaborate?ocschwar 8y agoINRIA, where Coq development takes place.