Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
RSS
FinalFantasy27
Karma:
0
All
Posts
Comments
New
Top
Old
FinalFantasy27
16 Jun 2024 3:03 UTC
1
point
0
on:
Extensionality and the univalence axiom of type theory
Thank you for the wonderful posts!
Back to top
Thank you for the wonderful posts!