Skip to content

Refactor and extract TPTP proof printing - #1013

Open
i-am-a-teapot wants to merge 1 commit into
masterfrom
proof-refactor
Open

Refactor and extract TPTP proof printing#1013
i-am-a-teapot wants to merge 1 commit into
masterfrom
proof-refactor

Refactor and extract TPTP proof printing

7e7f551
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Oct 9, 2026 in 21m 1s