Skip to content
LogRel CI

progress on the fundamental lemma for directions? #426

Sign in to view logs

progress on the fundamental lemma for directions?

progress on the fundamental lemma for directions? #426

Triggered via push September 27, 2023 16:17
@theolaurenttheolaurent
pushed bfd0844
directions
Status Success
Total duration 8m 24s
Artifacts –

build.yml

on: push
build
8m 12s
build
Fit to window
Zoom out
Zoom in

Annotations

7 warnings
build
Argument B was previously inferred to be in scope type_scope but is
build
Argument B was previously inferred to be in scope type_scope but is
build
Argument B was previously inferred to be in the empty scope stack
build: theories/DirectedDeclarativeTyping.v#L10
The only parsing modifier has no effect in Reserved Notation.
build: theories/DirectedDeclarativeTyping.v#L11
The only parsing modifier has no effect in Reserved Notation.
build: theories/DirectedDeclarativeTyping.v#L12
The only parsing modifier has no effect in Reserved Notation.
build: theories/DirectedDeclarativeTyping.v#L13
The only parsing modifier has no effect in Reserved Notation.