diff options
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -14,6 +14,7 @@ other overlays, or modifying less-than-ideals in the upstream ebuild repository. - [guile-commonmark](https://github.com/OrangeShark/guile-commonmark) as dev-scheme/guile-commonmark - [guile-email](https://guile-email.systemreboot.net/) as dev-scheme/guile-email - [GoatTracker 2](http://covertbitops.c64.org/) as media-sound/goattracker +- [Lean 4](https://leanprover.github.io/) as sci-mathematics/lean - [MilkyTracker](https://milkytracker.titandemo.org/) as media-sound/milkytracker - [NBlood](https://nukeykt.retrohost.net/) as games-fps/nblood - [xkeysnail](https://github.com/mooz/xkeysnail) as x11-misc/xkeysnail |