summaryrefslogtreecommitdiff
path: root/sci-mathematics/lean/Manifest
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2026-07-051-2/+0
* Adding metadataroot2026-06-121-0/+3
* Adding metadataroot2026-06-121-3/+0
* Adding metadataroot2026-06-041-0/+3
* Adding metadataroot2026-06-041-3/+0
* Revert "Adding metadata"root2026-06-041-0/+3
* Adding metadataroot2026-06-041-3/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2026-04-181-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-10-151-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-06-071-1/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-02-031-1/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-01-031-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-09-201-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-01-151-1/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-11-301-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-10-261-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-10-071-3/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-05-251-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-05-181-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-191-2/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-12-271-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-12-241-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-12-221-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-12-151-2/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-11-191-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-11-121-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-08-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-08-261-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-08-091-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-07-141-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-06-281-2/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-05-191-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-03-271-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-03-191-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-03-121-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-231-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-091-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-01-311-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-01-081-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-11-271-0/+1