Skip to content
CI

fix: update natural deduction #20

Sign in to view logs

fix: update natural deduction

fix: update natural deduction #20

Triggered via push December 11, 2025 21:29
@ozekikozekik
pushed bf32eeb
master
Status Success
Total duration 49s
Artifacts –

ci.yml

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