Skip to content

Resolve "report several errors from proof checking"

waldmann requested to merge 40-report-several-errors-from-proof-checking into master

Closes #40 (closed)

Edited by waldmann

Merge request reports