diff options
| author | Jakob L. Kreuze <zerodaysfordays@sdf.org> | 2023-02-11 12:29:03 -0500 |
|---|---|---|
| committer | Jakob L. Kreuze <zerodaysfordays@sdf.org> | 2023-02-11 12:29:03 -0500 |
| commit | 90338921a8c3e1a1db055fd2c4b9d3dc45336003 (patch) | |
| tree | 328d04c4badc1a5927f38f0de5e244f794223c93 /README.md | |
| parent | ddfd5a6328b89dd73892902e44f073c604fe7b56 (diff) | |
Add Lean 4
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 |