Skip to content

Improve the error message when a theorem statement does not match the proved one

Viktor Kuncak requested to merge github/fork/cache-nez/parse-thm-statement into main

Created by: cache-nez

Merge request reports