According to PR-model, dafny.org is ranked 1,441,514th in multilingual Wikipedia, in particular this website is ranked 804,327th in English Wikipedia.
The website is placed before webrtcdigest.com and after leonc.fr in the BestRef global ranking of the most important sources of Wikipedia.