refactor: move ProofType
into raiko_lib
#14
repo--typo-check.yml
on: pull_request
check-for-typos
7s
ProofType
into raiko_lib
#14