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