6 ms·

Lean[1] Zulip chat[2] [1] https://leanprover-community.github.io/ https://leanprover-community.github.io/ [2] https://leanprover.zulipchat.com/ https://leanpro

by hiker 2y ago

Lean[1] Zulip chat[2] [1] https://leanprover-community.github.io/ https://leanprover-community.github.io/ [2] https://leanprover.zulipchat.com/ https://leanprover.zulipchat.com/