Skip to content

Refactor and extract TPTP proof printing - #1012

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

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

Commits

  1. Commits on Oct 8, 2026