Zulip Chat Archive
Stream: new members
Topic: Browser-accessible Mathematics in Lean
Paul Nelson (Jan 29 2026 at 15:01):
Is there some way to interact with the MIL book from a browser without installing stuff, similar to what one can do with NNG?
Last updated: Feb 28 2026 at 14:05 UTC