Lean (trợ lý chứng minh) (Vietnamese Wikipedia)

Analysis of information sources in references of the Wikipedia article "Lean (trợ lý chứng minh)" in Vietnamese language version.

refsWebsite

Global rank Vietnamese rank

1web.archive.org

1^st place

1^st place

1leanprover.github.io

low place

low place

1jiggerwit.wordpress.com

low place

low place

1imperial.ac.uk

7,025^th place

low place

imperial.ac.uk

wwwf.imperial.ac.uk

Buzzard, Kevin. “The Future of Mathematics?” (PDF). Truy cập ngày 6 tháng 10 năm 2020.

jiggerwit.wordpress.com

Hales, Thomas (ngày 18 tháng 9 năm 2018). “A Review of the Lean Theorem Prover”. Truy cập ngày 6 tháng 10 năm 2020.

leanprover.github.io

“Lean Prover About Page”. Bản gốc lưu trữ ngày 18 tháng 10 năm 2021. Truy cập ngày 9 tháng 10 năm 2022.

web.archive.org

“Lean Prover About Page”. Bản gốc lưu trữ ngày 18 tháng 10 năm 2021. Truy cập ngày 9 tháng 10 năm 2022.