| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| concept.equiv/ | H | 15-Nov-2022 | - | 140 | 86 | |
| concept.invocable/ | H | 29-Jan-2025 | - | 414 | 362 | |
| concept.predicate/ | H | 15-Nov-2022 | - | 95 | 51 | |
| concept.regularinvocable/ | H | 29-Jan-2025 | - | 462 | 409 | |
| concept.relation/ | H | 15-Nov-2022 | - | 121 | 73 | |
| concept.strictweakorder/ | H | 15-Nov-2022 | - | 138 | 84 |