leanprover.github.io

8 uptime checks were conducted for leanprover.github.io within the 846 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 January 18, 2025. As of January 18, 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.