Now I have a ~2.3k line Lean monstrosity that proves that yy roundtrips.
Падабаецца 0
Рэпосты 0
Under 2k now and no reliance on external certificates.
Падабаецца 0
Рэпосты 0
Адказаў пакуль няма 🐣