2 ms·I guess liboobs is next?by growt 8y agoI guess liboobs is next?hwj 8y agoWhat about coq? https://packages.debian.org/stable/math/coq https://packages.debian.org/stable/math/coq