| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 07-May-2022 | - | ||||
| asin/ | H | 12-Apr-2021 | - | 6,235 | 5,300 | |
| exp-td/ | H | 12-Apr-2021 | - | 356 | 238 | |
| log-de/ | H | 12-Apr-2021 | - | 1,080 | 820 | |
| log-td/ | H | 12-Apr-2021 | - | 1,088 | 849 | |
| trigos/ | H | 12-Apr-2021 | - | 291 | 212 | |
| trigpi/ | H | 12-Apr-2021 | - | 549 | 444 | |
| sqrt-proof.sh | H A D | 30-Jan-2016 | 199 | 11 | 5 | |
| sqrt.sed | H A D | 30-Jan-2016 | 593 | 9 | 8 | |
| sqrt12.gappa | H A D | 30-Jan-2016 | 5.3 KiB | 184 | 123 | |
| sqrt13.gappa | H A D | 30-Jan-2016 | 6.9 KiB | 223 | 152 |