| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| adf/ | Fri Apr 18 17:15:44 UTC 2025 | ||
| aspic/ | Fri Apr 18 17:39:37 UTC 2025 | ||
| deductive/ | Fri Apr 18 16:49:52 UTC 2025 | ||
| dung/ | Fri Apr 18 17:39:38 UTC 2025 | ||
| saf/ | Fri Apr 18 17:15:43 UTC 2025 | ||
| simplelogicdeductive/ | Thu Apr 17 05:08:28 UTC 2025 | ||
| social/ | Wed Apr 16 19:50:36 UTC 2025 |