summaryrefslogtreecommitdiff
path: root/sci-mathematics/lean/files
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-02-242-33/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-01-031-0/+23
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-191-0/+10
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-11-271-0/+23