Toggle navigation
TWText.com
TWText.com
faq
Contact US
Follow US
Jacques Carette
jjcarett2
I'm having fun 'peeking in' to what the Lean community is doing (via mostly lurking on their Zulip, but I've perused the source code too). They are genuinely trying to
Read more