Polish TPTP Cited by user IOIOI on 19 Apr 2024 TPTP (Thousands of Problems for Theorem Provers) – biblioteka problemów dla systemów automatycznego dowodzenia twierdzeń.