deniz
Search Results
A unifying language enables further discovery →

Discussion

→ This is the power behind generalized theories like [[category theory]] →
#
>

and homotopy type theory maybe

→
notes github linkedin calendly [email protected]