Octocurious

❯

Intuinistic Type Theory

Intuinistic Type Theory

13 May 20261 min read

Type Theory where all types are constructive.

Graph View

Backlinks

fiore2022-quotient-inductive
fiore2022-quotient-inductive

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community