| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-02-11 | Add missing manifests | Jakob L. Kreuze |
| 2023-02-11 | Add Lean 4 | Jakob L. Kreuze |
 |
index : zerodaysfordays.git | |
| My personal Gentoo ebuild overlay. | Jakob L. Kreuze |
| summaryrefslogtreecommitdiff |
path: root/sci-mathematics