Module parallel 

Parallel proof checking and processing.

This module provides parallel processing capabilities for proof operations using rayon for multi-threaded execution.

Structs

ParallelConfig

Configuration for parallel proof processing.

ParallelProcessor

Parallel proof processor.

ParallelStatsComputer

Parallel proof statistics computation.

Type Aliases

ParallelCheckResult

Result of parallel proof checking.