The upgrade is complete and search is working normally again. Thanks for your patience during this essential upgrade.
Posted Jun 21, 2018 - 22:50 BST
Scheduled maintenance is currently in progress. We will provide updates as necessary.
Posted Jun 21, 2018 - 21:30 BST
The search database will be upgraded, as reported earlier today, and so the search function may be unavailable during this window. Please do NOT upload new proofs while this upgrade is being performed or your proofs may not be searchable after the upgrade is complete (although they would otherwise work fine).
Posted Jun 21, 2018 - 12:10 BST
This scheduled maintenance affected: Our servers (Our search database).