3 ms·Unfortunately, coq can’t parse just anything.by monochromatic 9y agoUnfortunately, coq can’t parse just anything.