Skip to content
Test

Reduce intuitionistic first-order logic to a single remark #142

Sign in to view logs

Reduce intuitionistic first-order logic to a single remark

Reduce intuitionistic first-order logic to a single remark #142

Triggered via push January 17, 2026 19:01
@v--v--
pushed 54def53
master
Status Success
Total duration 46s
Artifacts –

test.yml

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