- Completion of the Liquid Tensor Experiment - Formal verification of Scholze's work on liquid vector spaces has been completed. https://leanprover-community.github.io/blog/posts/lte-final/ 22 comments math
Linking pages
Linked pages
- Mathematicians welcome computer-assisted proof in ‘grand unification’ theory https://www.nature.com/articles/d41586-021-01627-2 213 comments
- Quanta Magazine https://www.quantamagazine.org/lean-computer-program-confirms-peter-scholze-proof-20210728/ 88 comments
- Liquid tensor experiment | Xena https://xenaproject.wordpress.com/2020/12/05/liquid-tensor-experiment/ 57 comments
- Half a year of the Liquid Tensor Experiment: Amazing developments | Xena https://xenaproject.wordpress.com/2021/06/05/half-a-year-of-the-liquid-tensor-experiment-amazing-developments/ 31 comments
- Lean community https://leanprover-community.github.io 1 comment
Related searches:
Search whole site: site:leanprover-community.github.io
Search title: Completion of the Liquid Tensor Experiment | Lean community blog
See how to search.