feat(frontends/lean): only valid proof states should be displayed, closes #275
fix(frontends/lean): do not save identifier info