Zulip Chat Archive
Stream: new members
Topic: Does MIL have a PDF version?
Nick_adfor (Mar 19 2025 at 12:30):
There is a print button in Theorem in Lean. But MIL doesn't have it. How can I get a PDF version?
Sabbir Rahman (Mar 19 2025 at 12:44):
Last updated: May 02 2025 at 03:31 UTC