| Age | Commit message (Collapse) | 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