Descent-certificate data model: affine states, exact/terminal rows, the checker, and the generator

Initializing...

Descent-certificate data model: affine states, exact/terminal rows, the checker, and the generator · Prove2Me