3 ms·What about coq? https://packages.debian.org/stable/math/coq https://packages.debian.org/stable/math/coqby hwj 8y agoWhat about coq? https://packages.debian.org/stable/math/coq https://packages.debian.org/stable/math/coq