
en.wikipedia.org/wiki/Lean_(proof_assistant)
Preview meta tags from the en.wikipedia.org website.
Linked Hostnames
44- 444 links toen.wikipedia.org
- 7 links toarchive.today
- 4 links tofoundation.wikimedia.org
- 4 links toleanprover-community.github.io
- 3 links towww.nytimes.com
- 3 links towww.quantamagazine.org
- 3 links towww.wikidata.org
- 2 links togithub.com
General Meta Tags
10- titleLean (proof assistant) - Wikipedia
- charsetUTF-8
- ResourceLoaderDynamicStyles
- generatorMediaWiki 1.45.0-wmf.2
- referrerorigin
Open Graph Meta Tags
2- og:titleLean (proof assistant) - Wikipedia
- og:typewebsite
Link Tags
48- EditURI//en.wikipedia.org/w/api.php?action=rsd
- alternate//en.m.wikipedia.org/wiki/Lean_(proof_assistant)
- alternate/w/index.php?title=Lean_(proof_assistant)&action=edit
- alternate/w/index.php?title=Special:RecentChanges&feed=atom
- apple-touch-icon/static/apple-touch/wikipedia.png
Links
509- https://adam.math.hhu.de/#/g/leanprover-community/nng4
- https://ai.meta.com/blog/ai-math-theorem-proving
- https://api.semanticscholar.org/CorpusID:235800962
- https://archive.today/20201002043743/https://www.quantamagazine.org/building-the-mathematical-library-of-the-future-20201001
- https://archive.today/20201121125544/https://jiggerwit.wordpress.com/2018/09/18/a-review-of-the-lean-theorem-prover