English ver. are machine translation without check from gemini-flash and LinguaGacha
Organized and recorded ideas about mathematics, not guarantee correctness, readability, completeness of details, have guess without proof
HTML output version use typst HTML export + shiroa + mathyml
Since Typst's HTML output is not complete, it still requires troublesome modifications to use mathyml. You can also use the typ file and Tinymist
(The magnifying glass icon in the upper left corner, or s key open, esc close) Use the search function to search for label, for example, for #link(<123>)[456] you should input 123 or 123_ or 123_(tag) in the search box.