Skip to content

fix TPTP Syntax example in Lecture 1 - #1

Open
ghost-issue wants to merge 1 commit into
vprover:mainfrom
ghost-issue:main
Open

fix TPTP Syntax example in Lecture 1#1
ghost-issue wants to merge 1 commit into
vprover:mainfrom
ghost-issue:main

Commits

Commits on Jul 30, 2026