Skip to content
CI

Proof of incompleteness theorem via derivability conditions #37

Sign in to view logs

Proof of incompleteness theorem via derivability conditions

Proof of incompleteness theorem via derivability conditions #37

Triggered via pull request December 10, 2023 06:34
@SnO2WMaNSnO2WMaN
synchronize #1
SnO2WMaN:provability
Status Failure
Total duration 4m 38s
Artifacts –

ci.yml

on: pull_request
build
4m 29s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.