This repository has been archived by the owner on Feb 8, 2020. It is now read-only.

Display proof parsing errors nicer #40

Open

biern opened this issue Dec 7, 2017 · 0 comments

Labels

Member

biern commented Dec 7, 2017

Errors should be rendered nicely
Errors should be informative

biern added the enhancement label

biern mentioned this issue

Proof parsing & GitHub proof #39

Merged

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.