Index of /linked-current/p/z3_tptp/

../
4.10.1/                                            03-Apr-2026 02:46       -
4.10.2/                                            03-Apr-2026 02:46       -
4.11.0/                                            03-Apr-2026 02:46       -
4.11.2/                                            03-Apr-2026 02:46       -
4.8.13/                                            11-Apr-2026 14:52       -
4.8.17/                                            03-Apr-2026 02:46       -
4.9.1/                                             03-Apr-2026 02:46       -