Tankianting
無編輯摘要
19:22
Tankianting移動頁面型別理論與形式證明筆記Sec2.8-2.10.pdf/原始碼至型別理論與形式證明筆記Sec2.8-2.13.pdf/原始碼
建立內容為「檔案:型別理論與形式證明筆記Sec2.8-2.10.pdf的Typst原始碼。 <pre> #show regex("\p{sc=Hani}+"): set text(font: ("Noto Serif CJK TC"), lang: "…」的新頁面
01:09
+3,682