Skip to content
LogRel CI

Uniformize some lemma names for validity. #420

Sign in to view logs

Uniformize some lemma names for validity.

Uniformize some lemma names for validity. #420

Triggered via pull request September 26, 2023 09:49
@ppedrotppedrot
opened #55
uniformize-validity-lemma-names
Status Success
Total duration 7m 21s
Artifacts –

build.yml

on: pull_request
build
7m 10s
build
Fit to window
Zoom out
Zoom in

Annotations

3 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