Skip to content
LogRel CI

Move renaming lemmas on normal forms to NormalForms. #429

Sign in to view logs

Move renaming lemmas on normal forms to NormalForms.

Move renaming lemmas on normal forms to NormalForms. #429

Triggered via push September 28, 2023 08:58
@ppedrotppedrot
pushed dc66f00
move-nf-ren
Status Success
Total duration 7m 26s
Artifacts –

build.yml

on: push
build
7m 17s
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