Zulip Chat Archive
Stream: mathlib4
Topic: lean4ij
dev luhar (Oct 23 2024 at 16:01):
How would i setup mathlib4 with lean4ij plugin in pycharm
Kim Morrison (Oct 24 2024 at 00:15):
This isn't a widely used plugin, so you will probably need to ask the author directly.
Last updated: May 02 2025 at 03:31 UTC