3 ms·The language/proof assistant coq has similar problems (damn frenchies getting their revenge).by srl 13y agoThe language/proof assistant coq has similar problems (damn frenchies getting their revenge).