summaryrefslogtreecommitdiff
path: root/sci-mathematics/prover9/files
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2026-06-123-0/+582
* Adding metadataroot2026-06-123-582/+0
* Adding metadataroot2026-06-043-0/+582
* Adding metadataroot2026-06-043-582/+0
* Revert "Adding metadata"root2026-06-043-0/+582
* Adding metadataroot2026-06-043-582/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-02-242-0/+116
* Updating liguros repoPalica2020-06-231-0/+466