Add GitHub Actions workflow to verify rule provability on push/PR#12

joyemang33 merged 41 commits into

qed-solver:dslqed-solver/parser:dslfrom

zengzirong:zzrzengzirong/parser:zzrCopy head branch name to clipboard