verse-lab/sisyphus

Rename `proof_validator` module to `Coq`

Closed this issue · 0 comments

kiranandcode commented

The name for the proof_validator sub-module is incorrect/outdated, it should really be the coq module.