9 uptime checks were conducted for leanprover.github.io within the 1 017 day period beginning September 25, 2022. After conducting all tests, leanprover.github.io was online 9 times, with the most recent 200 status code occurring on May 3, 2025. Based on tests, there have been no reports of leanprover.github.io becoming inoperable as of July 9, 2025. As of July 9, 2025, the status reports attest to the fact that each response is error-free. Leanprover.github.io's May 3, 2025, response time, 0.233 seconds, differed from the 0.190 seconds average.