Date | Commit message | Author | Files | + | - |
2023-08-27 00:03 | 4t2t | Bakar Chargeishvili | 1 | +376 | -0 |
2023-08-26 23:31 | Add more examples | Bakar Chargeishvili | 4 | +1164 | -0 |
2023-08-26 23:30 | Fix conventions, add more examples | Bakar Chargeishvili | 3 | +111 | -136 |
2022-06-20 16:17 | Simplification rules for gg | Bakar Chargeishvili | 1 | +31 | -7 |
2022-06-07 14:23 | FORM -> Latex | Bakar Chargeishvili | 2 | +85 | -1 |
2022-03-29 15:12 | Import the project | Bakar Chargeishvili | 4 | +721 | -2 |
2022-02-16 05:39 | Initialize | Bakar Chargeishvili | 1 | +4 | -0 |