summaryrefslogtreecommitdiff
path: root/sci-mathematics/lean
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2026-07-054-231/+0
* Adding metadataroot2026-06-126-0/+356
* Adding metadataroot2026-06-126-356/+0
* Adding metadataroot2026-06-046-0/+356
* Adding metadataroot2026-06-046-357/+0
* Revert "Adding metadata"root2026-06-046-0/+357
* Adding metadataroot2026-06-046-357/+0
* Adding metadataBaldEagleOS Migration2026-06-033-3/+3
* Adding metadataBaldEagleOS Migration2026-06-021-1/+1
* Adding metadataBaldEagleOS Migration2026-06-021-1/+1
* Adding metadataBaldEagleOS Migration2026-06-011-1/+1
* Adding metadataroot2026-05-311-11/+12
* Adding metadataroot2026-05-314-4/+4
* Adding metadataLiguros - Gitlab CI/CD [develop]2026-04-182-0/+104
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-10-153-0/+110
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-10-131-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-10-081-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-10-081-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-06-072-82/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-02-242-33/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-02-191-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-02-032-81/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-01-034-10/+57
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-12-141-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-09-282-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-09-203-1/+83
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-01-191-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-01-152-79/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-11-302-0/+79
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-10-263-80/+79
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-10-074-240/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-08-151-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-05-261-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-05-252-0/+81
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-05-182-0/+81
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-12/+11
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-11/+12
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-196-165/+25
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-12-272-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-12-242-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-12-223-1/+79
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-12-153-79/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-11-192-0/+78
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-11-122-4/+4
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-08-312-4/+4
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-08-263-7/+7
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-08-092-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-08-034-4/+12
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-07-142-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-06-283-77/+1
generated by cgit v1.3 (git 2.53.0) at 2026-09-23 07:00:56 +0000