WATERFALL-PARALLELISM
for ACL2(p): configuring the parallel execution of the waterfall
Major Section:
PARALLEL-PROOF
See
set-waterfall-parallelism
.
