Now I have a ~2.3k line Lean monstrosity that proves that yy roundtrips.
Падабаецца 0
Рэпосты 0
@vitaut yoy would you do that
Падабаецца 0
Рэпосты 0
@malwareminigun I like my algorithms correct
Падабаецца 0
Рэпосты 0
Адказаў пакуль няма 🐣