leanprover.github.io

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