QED manifesto (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "QED manifesto" in English language version.

refsWebsite

Global rank English rank

low place

low place

2ru.nl

9,179^th place

6,972^nd place

low place

7,981^st place

1leanprover-community.github.io

low place

low place

chalmers.se

cs.chalmers.se

The QED Manifesto in Automated Deduction - CADE 12, Springer-Verlag, Lecture Notes in Artificial Intelligence, Vol. 814, pp. 238-251, 1994. HTML version

leanprover-community.github.io

mathlib libraryhttps://leanprover-community.github.io/mathlib-overview.html

mizar.org

The QED Workshop II report
Freek Wiedijk, The QED Manifesto Revisited, 2007
Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, and J. B. Wells, Gradual Computerisation/Formalisation of Mathematical Texts into Mizar

ru.nl

cs.ru.nl

The QED Manifesto in Automated Deduction - CADE 12, Springer-Verlag, Lecture Notes in Artificial Intelligence, Vol. 814, pp. 238-251, 1994. HTML version
Twenty years of the QED Manifesto workshop