3 ms·
Join the Lean Zulip. There are many people interested in this. https://leanprover.zulipchat.com/ https://leanprover.zulipchat.com/
by ajs1998 11mo ago
Join the Lean Zulip. There are many people interested in this.
https://leanprover.zulipchat.com/ https://leanprover.zulipchat.com/