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)
Maybe we should make omitted proofs more visible, some suggestions: