Quartz 4
Search
Search
Dark mode
Light mode
Explorer
Home
❯
papers
❯
drafts
❯
qiits
Folder: papers/drafts/qiits
2 items under this folder.
Dec 08, 2025
20251203-wisc
Dec 08, 2025
Mobiles as a Quotient-Inductive Type via Plump Ordinals