According to PR-model, theoremprover-museum.github.io is ranked 934,695th in multilingual Wikipedia, in particular this website is ranked 567,097th in English Wikipedia.
The website is placed before opera-europa.org and after sfsbm.org in the BestRef global ranking of the most important sources of Wikipedia.