Formal proof (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Formal proof" in English language version.

refsWebsite

Global rank English rank

1,601^st place

1,117^th place

451^st place

277^th place

ams.org

Harrison, John (December 2008). "Formal Proof—Theory and Practice" (PDF). ams.org. Retrieved 2019-12-12.

utoronto.ca

cs.utoronto.ca

Kassios, Yannis (February 20, 2009). "Formal Proof" (PDF). cs.utoronto.ca. Retrieved 2019-12-12.