Skip to content
CI

Strong Completeness of Normal Modal Logic #141

Sign in to view logs

Strong Completeness of Normal Modal Logic

Strong Completeness of Normal Modal Logic #141

Triggered via pull request January 24, 2024 12:11
@SnO2WMaNSnO2WMaN
synchronize #15
SnO2WMaN:completeness
Status Success
Total duration 3m 50s
Artifacts –

ci.yml

on: pull_request
build
3m 40s
build
Fit to window
Zoom out
Zoom in