Skip to content
m2

Made Logika Auto and Smt2 justifications to subsume natural deduction… #163

Sign in to view logs

Made Logika Auto and Smt2 justifications to subsume natural deduction…

Made Logika Auto and Smt2 justifications to subsume natural deduction… #163

Triggered via push November 20, 2024 23:40
@robby-phdrobby-phd
pushed 43e92e1
master
Status Success
Total duration 22m 10s
Artifacts –

CI-m2.yml

on: push
ci
22m 2s
ci
Fit to window
Zoom out
Zoom in