| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| LeibnizQuasiCover.gi | H A D | 03-May-2022 | 11.7 KiB | 494 | 435 | |
| LieCover.gi | H A D | 03-May-2022 | 13.7 KiB | 582 | 513 | |
| LieExteriorSquare.gi | H A D | 03-May-2022 | 9.7 KiB | 388 | 347 | |
| LieTensorSquare.gi | H A D | 03-May-2022 | 8.3 KiB | 317 | 290 | |
| chevalleyEilenberg.gi | H A D | 03-May-2022 | 6.7 KiB | 239 | 195 | |
| groupToLie.gi | H A D | 03-May-2022 | 7.3 KiB | 288 | 225 | |
| isLieHom.gi | H A D | 03-May-2022 | 1.5 KiB | 57 | 49 | |
| leibniz.gi | H A D | 03-May-2022 | 7.6 KiB | 296 | 240 |