lemma

最新版本：3.4.0

更新日期：2026-10-24

Mac 完全免费 macos swift swiftui education latex mathematics pdf-reader pdfkit textbooks vscode-themes

用于阅读数学文献的 IDE：免费的 Mac 开源 PDF 阅读器，可将参考文献转为链接、将证明拆解为步骤，并在书写过程中校验推导。

用于阅读数学文献的 IDE：免费的 Mac 开源 PDF 阅读器，可将参考文献转为链接、将证明拆解为步骤，并在书写过程中校验推导。