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