Add a definition of the beta function · thery/coqprime@d5935ca

Triggered via push October 7, 2023 10:23

thery

master

Status Success

Total duration 4m 46s

Artifacts –

build.yml

on: push

Matrix: build

10 warnings

build (dev, default): src/Coqprime/List/Permutation.v#L97

permutation_one_inv_aux is declared opaque (Qed) but this is not

build (dev, default): src/Coqprime/List/Permutation.v#L138

Notation app_nil_end is deprecated since 8.18.

build (dev, default): src/Coqprime/List/Permutation.v#L138

Notation app_nil_end is deprecated since 8.18.

build (dev, default): src/Coqprime/List/Permutation.v#L138

Notation app_nil_end is deprecated since 8.18.

build (dev, default): src/Coqprime/List/Permutation.v#L151