Octocurious

❯

❯

kovacs2020 infinitary qiit

kovacs2020-infinitary-qiit

13 May 20261 min read

Paper

Graph View

Backlinks

QIIT (Project)
Quotient Inductive Type
Quotient Inductive-Inductive Type

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community