Skip to content
CI

Proof of incompleteness theorem via derivability conditions #26

Sign in to view logs

Proof of incompleteness theorem via derivability conditions

Proof of incompleteness theorem via derivability conditions #26

Triggered via pull request December 6, 2023 01:59
@SnO2WMaNSnO2WMaN
synchronize #1
SnO2WMaN:provability
Status Success
Total duration 1m 4s
Artifacts –

ci.yml

on: pull_request
build
55s
build
Fit to window
Zoom out
Zoom in