Skip to content
Test

Refine the propositional compactness theorem #103

Sign in to view logs

Refine the propositional compactness theorem

Refine the propositional compactness theorem #103

Triggered via push November 27, 2025 01:48
@v--v--
pushed 35022b8
master
Status Success
Total duration 40s
Artifacts –

test.yml

on: push
build
37s
build
Fit to window
Zoom out
Zoom in