Merge pull request #55 from CoqHott/uniformize-validity-lemma-names #425

Triggered via push September 27, 2023 09:25

master

Status Success

Total duration 7m 39s

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.6 MB