ProofBlock

type ProofBlock =
    {
        Ending: ProofEnding
        Html: string
    }


Assembly	`Nacara.Plugin.Rocq`

A proof, with any comments before the next proof.

Fields

Ending: ProofEnding

Html: string

Decodes to the exact source text.