Pre-RFC: Hide all hypotheses in infoview

Stream: lean4

[Pim Otte]

For the Lean version of Waterproof, we would like to be able to programmatically hide all hypotheses in the infoview. The rationale behind this is that just showing the goal reduces the reliance of students on the hypotheses, and reduces the gap from using Waterproof to doing the proof on paper.

@Marc Huisinga Is this something that we could develop and contribute with an additional option along the lines of the other hide options?

[Marc Huisinga]

The other InfoView options are intended for general Lean usage, not with a specific library, as they all appear in the InfoView UI as well.

Could you use the lean4.infoview.style setting with CSS that hides them?

[Pim Otte]

That sounds reasonable, we'll pursue that, thanks!