Tag Archives: liquid tensor experiment

Lean 2022 round-up

Posted on January 8, 2023 by xenaproject

A brief survey post containing some of the things which happened in the Lean community in 2022. The Liquid Tensor Experiment In December 2020, Fields Medallist Peter Scholze challenged the formal computer proof community to verify one of his theorems … Continue reading →

Posted in Uncategorized | Tagged , , , , | 4 Comments

Beyond the Liquid Tensor Experiment

Posted on September 12, 2022 by xenaproject

The liquid tensor experiment is now fully completed. Continue reading →

Posted in Algebraic Geometry, liquid tensor experiment | Tagged , | 4 Comments

Half a year of the Liquid Tensor Experiment: Amazing developments

Posted on June 5, 2021 by xenaproject

[This is a guest post by Peter Scholze.] Exactly half a year ago I wrote the Liquid Tensor Experiment blog post, challenging the formalization of a difficult foundational theorem from my Analytic Geometry lecture notes on joint work with Dustin … Continue reading →

Posted in Uncategorized | Tagged , , | 22 Comments