| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| adf/ | Fri Dec 26 17:46:52 UTC 2025 | ||
| aspic/ | Fri Dec 26 17:46:52 UTC 2025 | ||
| deductive/ | Tue Jan 27 04:42:31 UTC 2026 | ||
| dung/ | Mon Dec 29 03:58:58 UTC 2025 | ||
| lp/ | Fri Dec 26 17:46:51 UTC 2025 | ||
| prob/ | Fri Dec 26 17:46:53 UTC 2025 | ||
| saf/ | Fri Dec 26 17:46:48 UTC 2025 | ||
| simplelogicdeductive/ | Thu Feb 05 04:31:03 UTC 2026 | ||
| social/ | Tue Jan 27 04:42:27 UTC 2026 |