leanprover.github.io

4 uptime checks were conducted for leanprover.github.io within the 786 day period beginning September 25, 2022. After conducting all tests, leanprover.github.io was online 4 times, with the most recent 200 status code occurring on November 17, 2024. Based on tests, there have been no reports of leanprover.github.io becoming inoperable as of November 20, 2024. As of November 20, 2024, the status reports attest to the fact that each response is error-free. Leanprover.github.io's November 17, 2024, response time, 0.237 seconds, differed from the 0.147 seconds average.