Remove KOSBTM and rework TM-computable to BSM-computable · uds-psl/coq-library-undecidability@68101d3

Re-run triggered November 13, 2025 08:04

mrhaandi

#238

Status Success

Total duration 6m 5s

Artifacts –

build.yml

on: pull_request

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