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

fix TPTP Syntax example

8b02097
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs