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