Skip to content
Test

Soundness of natural deduction for first-order logic #158

Sign in to view logs

Soundness of natural deduction for first-order logic

Soundness of natural deduction for first-order logic #158

Triggered via push January 25, 2026 23:04
@v--v--
pushed 919805f
master
Status Success
Total duration 46s
Artifacts –

test.yml

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