Merge pull request #54 from CoqHott/strenghten-neutral-congruence #418

Triggered via push September 25, 2023 13:59

master

Status Success

Total duration 7m 41s

Artifacts 1

build.yml

on: push

3 warnings

Argument B was previously inferred to be in scope type_scope but is

Argument B was previously inferred to be in scope type_scope but is

Argument B was previously inferred to be in the empty scope stack

Produced during runtime

Name	Size
github-pages Expired	19.3 MB