diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-05-17 22:10:38 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-05-17 22:10:38 +0100 |
| commit | 6854913aa1a57839328baafb435b84f9baacae65 (patch) | |
| tree | 3273ce9a77541e3f4bb905ca47a1d0d2bbe0f4e5 /sci-mathematics/lean | |
| parent | a538d5e834cfb040c79291bd02474285e27241b8 (diff) | |
gentoo auto-resync : 17:05:2023 - 22:10:37
Diffstat (limited to 'sci-mathematics/lean')
0 files changed, 0 insertions, 0 deletions