🦌 deertopia.net

ID	b75b0a86-9aa0-4edd-bbcf-690f5728f117
DeertopiaVisibility	public

Type theory

This section is empty…

Backlinks

Cubical type theory
External feature (type theory)
Induction principle (type theory)
Judgemental equality
Lean 4
Martin-Löf type theory
Polarity (type theory)
Recursion principle
SydML
Untitled graphical Emacs-inspired project