This repository has been archived by the owner on May 23, 2018. It is now read-only.

Improve indication of omitted proofs #64

Open

pbelmans opened this issue Jun 16, 2014 · 0 comments

Labels

Member

pbelmans commented Jun 16, 2014

Maybe we should make omitted proofs more visible, some suggestions:

have a list of them somewhere (easy to generate dynamically: there is "Omitted." and "Details omitted."), which could encourage people to contribute easy proofs
in the statistics page we could indicate how many of the proofs in the dependency tree are omitted
in the graphs we could indicate omitted proofs (not desirable probably, they'd be mostly leaf nodes anyway)

pbelmans added the question label

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