Tag Archives: liquid mathematics
Liquid tensor experiment
Peter Scholze suggests a mathematical formalization challenge. Continue reading
-
Recent Posts
- Lean Together 2021 January 12, 2021
- The end of the summer. January 9, 2021
- Liquid tensor experiment December 5, 2020
- Thoughts on the Pythagorean theorem September 19, 2020
- Two types of universe for two types of mathematician July 23, 2020
