| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| cmp.alg/ | 06-Sep-2024 | - | 2,713 | 2,165 | ||
| cmp.categories.pre/ | 06-Sep-2024 | - | 58 | 33 | ||
| cmp.common/ | 06-Sep-2024 | - | 82 | 42 | ||
| cmp.concept/ | 06-Sep-2024 | - | 452 | 349 | ||
| cmp.partialord/ | 06-Sep-2024 | - | 189 | 156 | ||
| cmp.result/ | 06-Sep-2024 | - | 89 | 60 | ||
| cmp.strongord/ | 06-Sep-2024 | - | 198 | 164 | ||
| cmp.weakord/ | 06-Sep-2024 | - | 180 | 146 | ||
| compare.syn/ | 06-Sep-2024 | - | 110 | 78 |