6 lines
118 B
Nim

import ./proofs/backends
import ./proofs/prover
import ./proofs/proverfactory
export backends, prover, proverfactory