3 ms·
Yes, via the Zulip API, which is how the Lean Prover tool works. Zulip's "full organization data" export tool is only available to administrators, and we haven
by tabbott 7y ago
Yes, via the Zulip API, which is how the Lean Prover tool works. Zulip's "full organization data" export tool is only available to administrators, and we haven't heard any complaints about that model.