Определить книги, в настоящее время сертифицированные с помощью ACL2

Question

Как узнать, какие книги в настоящее время сертифицированы с помощью ACL2 на данном компьютере? Я знаю, что могу посмотреть на результат и понять это, но это требует нетривиальных усилий.

Answer 1

Следующее работает на большинстве систем:

ps axww | grep cert