Index of /Proposals/TableauxFormatProofs/OldExamples

	Name	Last modified	Size	Description

	Parent Directory		-
	Pell24SequentCNF.txt	2024-10-04 18:34	1.9K
	Pell24Simplified.txt	2025-05-08 08:44	2.3K
	Pell24TableauxDNF.txt	2024-10-04 18:34	2.2K
	Pell24WithBindings.txt	2025-05-07 11:45	2.3K

Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443