Skip to content

Group

type Group =
    | Open
    | Falsified
    | Check
    | Guarantee
Assembly Nacara.Plugin.Rocq

The status of a theorem, as its source and navigator.json state it.

Cases

Open

The proof ends Admitted.

Falsified

The name ends with the configured suffix.

Check

An attached comment holds the configured marker.

Guarantee

Every other entry.

Properties

member IsCheck: bool
member IsFalsified: bool
member IsGuarantee: bool
member IsOpen: bool