Skip to content
CI

FEAT: Natural deduction for first-order logic #16

Sign in to view logs

FEAT: Natural deduction for first-order logic

FEAT: Natural deduction for first-order logic #16

Re-run triggered December 11, 2025 17:42
@ozekikozekik
#7
feat/nd-fol
Status Success
Total duration 1m 1s
Artifacts –

ci.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in