| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| meta.unary.cat/ | 03-May-2024 | - | 2,456 | 1,759 | ||
| meta.unary.comp/ | 03-May-2024 | - | 1,519 | 1,023 | ||
| meta.unary.prop/ | 03-May-2024 | - | 4,036 | 2,825 |
| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| meta.unary.cat/ | 03-May-2024 | - | 2,456 | 1,759 | ||
| meta.unary.comp/ | 03-May-2024 | - | 1,519 | 1,023 | ||
| meta.unary.prop/ | 03-May-2024 | - | 4,036 | 2,825 |