Fix typos in proof generation system #198

Closed guidanoli closed 1 year ago