Skip to content
Linux

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

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… #2112

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

CI-linux.yml

on: push
ci
59m 41s
ci
Fit to window
Zoom out
Zoom in