I didn’t say I believe in the law of excluded middle ;)https://twitter.com/johncarlosbaez/status/1056226169811390464 …
-
-
Replying to @emilyriehl
Do you have a minute to talk about our saviour, univalence?
1 reply 0 retweets 5 likes -
Replying to @andreasdotorg
Are you asking whether I believe in the univalence axiom? Well of course!
2 replies 0 retweets 2 likes
Replying to @emilyriehl
I see there is no work left for me to do. :)
12:25 PM - 27 Oct 2018
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
