Skip to content
CI

Proof of incompleteness theorem via derivability conditions #25

Sign in to view logs

Proof of incompleteness theorem via derivability conditions

Proof of incompleteness theorem via derivability conditions #25

Triggered via pull request December 5, 2023 23:57
@SnO2WMaNSnO2WMaN
synchronize #1
SnO2WMaN:provability
Status Success
Total duration 4m 35s
Artifacts –

ci.yml

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