The report indicates 4 uptime tests of leanprover.net were performed over 144 days from July 1, 2024. All evaluations conducted indicate that leanprover.net experienced downtime or encountered other issues as of November 23, 2024. 4 tests resulted in leanprover.net being down, comprising 100.00% of inspections carried out, most recently on November 17, 2024. As of November 23, 2024, all responses have been error-free according to the replies received. On November 17, 2024, — seconds contrasted leanprover.net's average 0.001 seconds response time.