3 ms·Coq could be used to reduce automatically, and more!by yhmv 16y agoCoq could be used to reduce automatically, and more!ezalor 16y agoSeriously, Coq? What a name.