Skip to content

Resolve "CPF output for strictified proofs"

waldmann requested to merge 488-cpf-output-for-strictified-proofs into master

Closes #488 (closed)

Edited by waldmann

Merge request reports