Search results

[validator][error] predicate_reading_missing_display in book-sets/cardinality/notes/cardinality/notes-cardinality.tex:84

lra-validator

severity:error

validator:predicate_reading_missing_display

volume:i

Status: Open.

#686 In wsollers/lra-volume-i;

· github-actions opened on Jul 25, 2026

[validator][error] predicate_reading_missing_display in book-sets/cardinality/notes/cardinality/notes-cardinality.tex:28

lra-validator

severity:error

validator:predicate_reading_missing_display

volume:i

Status: Open.

#685 In wsollers/lra-volume-i;

· github-actions opened on Jul 25, 2026

[validator][error] predicate_reading_missing_display in book-logic/propositional-logic/notes/syntax/notes-syntax.tex:717

lra-validator

severity:error

validator:predicate_reading_missing_display

volume:i

Status: Open.

#684 In wsollers/lra-volume-i;

· github-actions opened on Jul 25, 2026

[validator][error] predicate_reading_missing_display in book-logic/propositional-logic/notes/syntax/notes-syntax.tex:596

lra-validator

severity:error

validator:predicate_reading_missing_display

volume:i

Status: Open.

#683 In wsollers/lra-volume-i;

· github-actions opened on Jul 25, 2026

[validator][error] predicate_reading_missing_display in book-logic/propositional-logic/notes/syntax/notes-syntax.tex:458

lra-validator

severity:error

validator:predicate_reading_missing_display

volume:i

Status: Open.

#682 In wsollers/lra-volume-i;

· github-actions opened on Jul 25, 2026

[validator][error] predicate_reading_missing_display in book-logic/propositional-logic/notes/syntax/notes-syntax.tex:414

lra-validator

severity:error

validator:predicate_reading_missing_display

volume:i

Status: Open.

#681 In wsollers/lra-volume-i;

· github-actions opened on Jul 25, 2026

[validator][error] predicate_reading_missing_display in book-logic/propositional-logic/notes/syntax/notes-syntax.tex:382

lra-validator

severity:error

validator:predicate_reading_missing_display

volume:i

Status: Open.

#680 In wsollers/lra-volume-i;

· github-actions opened on Jul 25, 2026

[validator][error] predicate_reading_missing_display in book-logic/propositional-logic/notes/syntax/notes-syntax.tex:351

lra-validator

severity:error

validator:predicate_reading_missing_display

volume:i

Status: Open.

#679 In wsollers/lra-volume-i;

· github-actions opened on Jul 25, 2026

[validator][error] predicate_reading_missing_display in book-logic/propositional-logic/notes/syntax/notes-syntax.tex:304

lra-validator

severity:error

validator:predicate_reading_missing_display

volume:i

Status: Open.

#678 In wsollers/lra-volume-i;

· github-actions opened on Jul 25, 2026

[validator][error] predicate_reading_missing_display in book-logic/propositional-logic/notes/syntax/notes-syntax.tex:247

lra-validator

severity:error

validator:predicate_reading_missing_display

volume:i

Status: Open.

#677 In wsollers/lra-volume-i;

· github-actions opened on Jul 25, 2026

[validator][error] failure_mode_decomposition_missing_branch in book-logic/propositional-logic/notes/syntax/notes-syntax.tex:137

lra-validator

severity:error

validator:failure_mode_decomposition_missing_branc

volume:i

Status: Open.

#676 In wsollers/lra-volume-i;

· github-actions opened on Jul 25, 2026

[validator][review] failure_modes_exposition_only in book-logic/propositional-logic/notes/syntax/notes-syntax.tex:191

lra-validator

severity:review

validator:failure_modes_exposition_only

volume:i

Status: Open.

#675 In wsollers/lra-volume-i;

· github-actions opened on Jul 25, 2026