Closed babisRoutis closed 1 month ago
This PR refactors ProofBuilder to allow support of other proof types
ProofBuilder
This PR refactors
ProofBuilder
to allow support of other proof types