Skip to content

Proof of incompleteness theorem via derivability conditions #39

Proof of incompleteness theorem via derivability conditions

Proof of incompleteness theorem via derivability conditions #39

Triggered via pull request December 10, 2023 09:36
Status Failure
Total duration 4m 33s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.