标签： acl2
如何在给定的计算机上查看哪些图书目前正在使用ACL2进行认证？我知道我可以查看输出并弄清楚这一点，但这需要付出很多努力。
答案 0 :(得分：0)
以下适用于大多数系统：
ps axww | grep cert