According to PR-model, proof-technologies.com is ranked 1,846,341st in multilingual Wikipedia, in particular this website is ranked 1,022,906th in English Wikipedia.
The website is placed before trendconsult.at and after hol-theorem-prover.org in the BestRef global ranking of the most important sources of Wikipedia.