Skip to content
LogRel CI

Move renaming lemmas on normal forms to NormalForms. #428

Sign in to view logs

Move renaming lemmas on normal forms to NormalForms.

Move renaming lemmas on normal forms to NormalForms. #428

Triggered via pull request September 28, 2023 08:57
@ppedrotppedrot
opened #57
move-nf-ren
Status Success
Total duration 8m 1s
Artifacts –

build.yml

on: pull_request
build
7m 51s
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