Liquid tensor experiment | Xena - discu.eu

Hacker News

A mathematical formalisation challenge by Peter Scholze https://xenaproject.wordpress.com/2020/12/05/liquid-tensor-experiment/ 24 comments 6/12/2020

Reddit

Peter Scholze has written a guest post for Xena project, posing a challenge to formalize a proof and explaining the background and his interest in it https://xenaproject.wordpress.com/2020/12/05/liquid-tensor-experiment/ 33 comments 5/12/2020 math

Linking pages

Completion of the Liquid Tensor Experiment | Lean community blog https://leanprover-community.github.io/blog/posts/lte-final/ 22 comments
The Lean 4 Theorem Prover and Programming Language | SpringerLink https://link.springer.com/chapter/10.1007/978-3-030-79876-5_37 0 comments

Related searches:

Search whole site: site:xenaproject.wordpress.com

Search title: Liquid tensor experiment | Xena

See how to search.

Submit link to: