👤 PersonaPeter Scholze1987– · AlemaniaWikipediaWikipedia (en)Wikidata🌍 Ver en el globoInventos y descubrimientos · 12022Formalización en Lean: Liquid Tensor Experiment y mathlibDescubrimiento · descubridor
