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

Commits

  1. Commits on Oct 9, 2026