search

isabelle-prover / proving-contest-backends

"proving-contest"-backends for several theorem provers
MIT License
12 stars 5 forks source link

Proper error messages #5

Closed wimmers closed 5 years ago

wimmers commented 5 years ago

We should rewrite all error messages, and avoid to spit things like 'should be clean'. This will likely require some work on the frontend as well.

wimmers commented 5 years ago

Closed by: fdf5970da55fbf3cd221c6abaafb85d42b2fc395