Silicon Reckoner
Subscribe
Sign in
Share this discussion
On the implications of Scholze's liquid tensor experiment
siliconreckoner.substack.com
Copy link
Facebook
Email
Note
Other
On the implications of Scholze's liquid…
Michael Harris
Aug 4, 2021
1
Share this post
On the implications of Scholze's liquid tensor experiment
siliconreckoner.substack.com
Copy link
Facebook
Email
Note
Other
Did it make Lean happy?
Read →
Comments
Share
Share
Copy link
Facebook
Email
Note
Other
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
On the implications of Scholze's liquid tensor experiment
On the implications of Scholze's liquid…
On the implications of Scholze's liquid tensor experiment
Did it make Lean happy?