Search results

[validator][review] predicate_reading_signature_arity in book-discrete-algebraic/identity-equality-equivalence/notes/equivalence/notes-equivalence.tex:60

lra-validator

severity:review

validator:predicate_reading_signature_arity

volume:ii

Status: Open.

#328 In wsollers/lra-volume-ii;

· github-actions opened on Jul 24, 2026

[validator][review] predicate_reading_signature_arity in book-discrete-algebraic/arithmetic-operations-relations/notes/structure-preserving-maps/notes-structure-preserving-maps.tex:158

lra-validator

severity:review

validator:predicate_reading_signature_arity

volume:ii

Status: Open.

#327 In wsollers/lra-volume-ii;

· github-actions opened on Jul 24, 2026

[validator][review] predicate_reading_signature_arity in book-discrete-algebraic/arithmetic-operations-relations/notes/structure-preserving-maps/notes-structure-preserving-maps.tex:123

lra-validator

severity:review

validator:predicate_reading_signature_arity

volume:ii

Status: Open.

#326 In wsollers/lra-volume-ii;

· github-actions opened on Jul 24, 2026

[validator][review] predicate_reading_signature_arity in book-discrete-algebraic/arithmetic-operations-relations/notes/structure-preserving-maps/notes-structure-preserving-maps.tex:56

lra-validator

severity:review

validator:predicate_reading_signature_arity

volume:ii

Status: Open.

#325 In wsollers/lra-volume-ii;

· github-actions opened on Jul 24, 2026

[validator][review] predicate_reading_signature_arity in book-discrete-algebraic/arithmetic-operations-relations/notes/structure-preserving-maps/notes-structure-preserving-maps.tex:22

lra-validator

severity:review

validator:predicate_reading_signature_arity

volume:ii

Status: Open.

#324 In wsollers/lra-volume-ii;

· github-actions opened on Jul 24, 2026

[validator][review] predicate_reading_signature_arity in book-discrete-algebraic/arithmetic-operations-relations/notes/order-compatibility/notes-order-compatibility.tex:507

lra-validator

severity:review

validator:predicate_reading_signature_arity

volume:ii

Status: Open.

#323 In wsollers/lra-volume-ii;

· github-actions opened on Jul 24, 2026

[validator][review] predicate_reading_signature_arity in book-discrete-algebraic/arithmetic-operations-relations/notes/order-compatibility/notes-order-compatibility.tex:473

lra-validator

severity:review

validator:predicate_reading_signature_arity

volume:ii

Status: Open.

#322 In wsollers/lra-volume-ii;

· github-actions opened on Jul 24, 2026

[validator][review] predicate_reading_signature_arity in book-discrete-algebraic/arithmetic-operations-relations/notes/order-compatibility/notes-order-compatibility.tex:438

lra-validator

severity:review

validator:predicate_reading_signature_arity

volume:ii

Status: Open.

#321 In wsollers/lra-volume-ii;

· github-actions opened on Jul 24, 2026

[validator][review] predicate_reading_signature_arity in book-discrete-algebraic/arithmetic-operations-relations/notes/order-compatibility/notes-order-compatibility.tex:403

lra-validator

severity:review

validator:predicate_reading_signature_arity

volume:ii

Status: Open.

#320 In wsollers/lra-volume-ii;

· github-actions opened on Jul 24, 2026

[validator][review] predicate_reading_signature_arity in book-discrete-algebraic/arithmetic-operations-relations/notes/order-compatibility/notes-order-compatibility.tex:370

lra-validator

severity:review

validator:predicate_reading_signature_arity

volume:ii

Status: Open.

#319 In wsollers/lra-volume-ii;

· github-actions opened on Jul 24, 2026

[validator][review] predicate_reading_signature_arity in book-discrete-algebraic/arithmetic-operations-relations/notes/order-compatibility/notes-order-compatibility.tex:337

lra-validator

severity:review

validator:predicate_reading_signature_arity

volume:ii

Status: Open.

#318 In wsollers/lra-volume-ii;

· github-actions opened on Jul 24, 2026

[validator][review] predicate_reading_signature_arity in book-discrete-algebraic/arithmetic-operations-relations/notes/order-compatibility/notes-order-compatibility.tex:303

lra-validator

severity:review

validator:predicate_reading_signature_arity

volume:ii

Status: Open.

#317 In wsollers/lra-volume-ii;

· github-actions opened on Jul 24, 2026