Merge pull request #238 from alexandralatys/remove-KOSBTM · uds-psl/coq-library-undecidability@1df2d1c

Triggered via push November 13, 2025 08:18

mrhaandi

master

Status Success

Total duration 5m 50s

Artifacts –

build.yml

on: push

Matrix: build

10 warnings

Use of "Notation" keyword for abbreviations is deprecated, use

Use of "Notation" keyword for abbreviations is deprecated, use

Use of "Notation" keyword for abbreviations is deprecated, use

Use of "Notation" keyword for abbreviations is deprecated, use

Use of "Notation" keyword for abbreviations is deprecated, use

Use of "Notation" keyword for abbreviations is deprecated, use

Use of "Notation" keyword for abbreviations is deprecated, use

Use of "Notation" keyword for abbreviations is deprecated, use

Use of "Notation" keyword for abbreviations is deprecated, use

Use of "Notation" keyword for abbreviations is deprecated, use