# Tag Archives: liquid mathematics

## Liquid tensor experiment

Peter Scholze suggests a mathematical formalization challenge. Continue reading

Mathematicians learning Lean by doing.

Peter Scholze suggests a mathematical formalization challenge. Continue reading