Done simplifying Δ in E(Δ) and A(Δ, φ) #51

Sign in to view logs

Triggered via push September 11, 2024 11:30

hferee

inv

Status Failure

Total duration 13m 5s

Artifacts –

build_docs.yml

on: push

Annotations

5 warnings

Build docs: theories/iSL/Order.v#L12

Notation "_ • _" was already used.

Build docs: theories/iSL/Simp_env.v#L5

Notation "_ ≼ _" was already used.

Build docs: theories/iSL/Simp_env.v#L90

Notation "_ • _" was already used.

Build docs: theories/iSL/PropQuantifiers.v#L2

Notation "_ ≼ _" was already used.

Build docs: theories/iSL/PropQuantifiers.v#L35

Notation "_ • _" was already used.