Affected
Operational from 10:43 PM to 10:43 PM, Major outage from 10:43 PM to 10:48 PM, Operational from 10:48 PM to 10:48 PM
Proof Explorer is now operational! This update was created by an automated monitoring service.
Proof Explorer cannot be accessed at the moment. This incident was created by an automated monitoring service.