Files

Data

A minor simplification

Jan 4, 2022

17ac108 · Jan 4, 2022

Name		Name	Last commit message	Last commit date
parent directory ..
TPTP		TPTP	A minor simplification	Jan 4, 2022
TPTP.hs		TPTP.hs	Edit the comment	Jan 11, 2021