Lean (Beweisassistent) (German Wikipedia)

Analysis of information sources in references of the Wikipedia article "Lean (Beweisassistent)" in German language version.

refsWebsite

Global rank German rank

1leanprover-community.github.io

low place

low place

1leanprover.github.io

low place

low place

267^th place

15^th place

756^th place

410^th place

1quantamagazine.org

6,413^th place

5,804^th place

1mathstodon.xyz

low place

low place

archive.ph

Samuel Velasco, Johan Commelin: Proof Assistant Makes Jump to Big-League Math. In: Quanta Magazine. 2022, abgerufen am 1. März 2024 (englisch).

leanprover-community.github.io

Lean and its Mathematical Library. In: Lean. 2024, abgerufen am 1. März 2024 (englisch).

leanprover.github.io

Theorem Proving in Lean. In: Lean. 2024, abgerufen am 1. März 2024 (englisch).

mathstodon.xyz

Terence Tao: The #Lean4 project to formalize the proof of the Polynomial Freiman-Ruzsa conjecture has succeeded after three weeks,. In: Mastodon.xyz. 2024, abgerufen am 1. März 2024 (englisch).

quantamagazine.org

Leila Sloman: A-Team’ of Math Proves a Critical Link Between Addition and Sets. In: Quanta Magazine. Simons Foundation, 6. Dezember 2023, abgerufen am 1. März 2024 (englisch).

zeit.de

Christoph Dröser: Eine neue Mathematik. In: ZEIT. Nr. 9. Zeit, Hamburg 22. Februar 2024, S. 34 (Online).