summaryrefslogtreecommitdiff
path: root/sci-mathematics/lean/metadata.xml
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot17 hours1-11/+12
* Adding metadataroot21 hours1-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-01-031-2/+7
* 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]2022-02-231-3/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-12-281-4/+4
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-11-271-0/+19