z3_add_component(proofs
  SOURCES
    proof_checker.cpp
    proof_utils.cpp
  COMPONENT_DEPENDENCIES
    rewriter
)