add_executable(prover
    prover_main.cpp
)

target_link_libraries(prover PRIVATE pos2_base)
