This repository has been archived by the owner on Nov 29, 2024. It is now read-only.

refactor: moved prover into a separate lib#126

Merged

srdtrk merged 6 commits intomainfrom serdar/xxx-prover-pkg

Nov 2, 2024

+362-335