| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 20-Jan-2022 | - | ||||
| meta.unary.cat/ | H | 20-Jan-2022 | - | 2,456 | 1,759 | |
| meta.unary.comp/ | H | 20-Jan-2022 | - | 1,528 | 1,029 | |
| meta.unary.prop/ | H | 20-Jan-2022 | - | 4,289 | 2,994 |
| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 20-Jan-2022 | - | ||||
| meta.unary.cat/ | H | 20-Jan-2022 | - | 2,456 | 1,759 | |
| meta.unary.comp/ | H | 20-Jan-2022 | - | 1,528 | 1,029 | |
| meta.unary.prop/ | H | 20-Jan-2022 | - | 4,289 | 2,994 |