zerodaysfordays.git/sci-mathematics/lean, branch master
My personal Gentoo ebuild overlay.
https://git.jakob.space/zerodaysfordays.git/atom?h=master
2023-02-11T17:29:39Z
Add missing manifests
2023-02-11T17:29:39Z
Jakob L. Kreuze
zerodaysfordays@sdf.org
2023-02-11T17:29:39Z
urn:sha1:77b5789ba03290422a0a6bcbc111e68ba0636a0a
Add Lean 4
2023-02-11T17:29:03Z
Jakob L. Kreuze
zerodaysfordays@sdf.org
2023-02-11T17:29:03Z
urn:sha1:90338921a8c3e1a1db055fd2c4b9d3dc45336003