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
@vitaut I know only yy in vim
Падабаецца 0
Рэпосты 0
Under 2k now and no reliance on external certificates.
Падабаецца 0
Рэпосты 0