![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | ARI086=1.p | 2024-09-15 02:50 | 1.4K | |
![]() | Axioms/ | 2024-09-15 02:50 | - | |
![]() | BOO003-4.p | 2024-09-15 02:50 | 1.3K | |
![]() | BOO027-1.p | 2024-09-15 02:50 | 2.0K | |
![]() | DAT001=1.p | 2024-09-15 02:50 | 2.0K | |
![]() | KRS018+1.p | 2024-09-15 02:50 | 2.1K | |
![]() | KRS063+1.p | 2024-09-15 02:50 | 4.5K | |
![]() | MGT019+2.p | 2024-09-15 02:50 | 3.8K | |
![]() | MGT031-1.p | 2024-09-15 02:50 | 3.2K | |
![]() | MGT041-2.p | 2024-09-15 02:50 | 2.1K | |
![]() | NLP114-1.p | 2024-09-15 02:50 | 4.7K | |
![]() | PUZ131_1.p | 2024-09-15 02:50 | 3.2K | |
![]() | SYN000+1.p | 2024-09-15 02:50 | 2.6K | |
![]() | SYN000+2.p | 2024-09-15 02:50 | 3.4K | |
![]() | SYN000-1.p | 2024-09-15 02:50 | 2.1K | |
![]() | SYN000-2.p | 2024-09-15 02:50 | 3.0K | |
![]() | SYN000=2.p | 2024-09-15 02:50 | 6.4K | |
![]() | SYN000_1.p | 2024-09-15 02:50 | 3.7K | |
![]() | SYN000_2.p | 2024-09-15 02:50 | 3.7K | |
![]() | SYN075+1.p | 2024-09-15 02:50 | 1.8K | |
![]() | SYN075-1.p | 2024-09-15 02:50 | 2.2K | |
![]() | is_rat_simple.p | 2024-09-15 02:50 | 312 | |
![]() | parse-neg-rational.p | 2024-09-15 02:50 | 1.5K | |
![]() | tff0-arith.p | 2024-09-15 02:50 | 907 | |
![]() | tff0.p | 2024-09-15 02:50 | 1.5K | |
![]() | tptp_parser.p | 2024-09-15 02:50 | 355 | |
![]() | tptp_parser2.p | 2024-09-15 02:50 | 310 | |
![]() | tptp_parser3.p | 2024-09-15 02:50 | 324 | |
![]() | tptp_parser4.p | 2024-09-15 02:50 | 360 | |
![]() | tptp_parser5.p | 2024-09-15 02:50 | 388 | |
![]() | tptp_parser6.p | 2024-09-15 02:50 | 402 | |
![]() | tptp_parser7.p | 2024-09-15 02:50 | 388 | |
![]() | tptp_parser8.p | 2024-09-15 02:50 | 319 | |
![]() | tptp_parser9.p | 2024-09-15 02:50 | 370 | |
![]() | tptp_parser10.p | 2024-09-15 02:50 | 277 | |