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
meet
[email protected]