4 ms·How many Coq programmers 'anything', tho?by mercer 3y agoHow many Coq programmers 'anything', tho?crotchfire 3y agogrammar harder