x
This website requires javascript to properly function. Consider activating javascript to get access to all site functionality.
LESSWRONG
LW
Login
FinalFantasy27 — LessWrong
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!