一款以本地为优先的 LaTeX & Typst 网页编辑器，支持实时协作和离线使用。
A local-first LaTeX & Typst web editor with real-time collaboration & offline support
