This website requires javascript to properly function. Consider activating javascript to get access to all site functionality.
LESSWRONG
LW
Login
2033
FinalFantasy27
Posts
Sorted by New
Wikitag Contributions
Comments
Sorted by
Newest
Extensionality and the univalence axiom of type theory
FinalFantasy27
1y
1
0
Thank you for the wonderful posts!
Reply
Thank you for the wonderful posts!