The upgrade is complete and search is working normally again. Thanks for your patience during this essential upgrade.
Posted 11 months ago. Jun 21, 2018 - 22:50 BST
Scheduled maintenance is currently in progress. We will provide updates as necessary.
Posted 11 months ago. 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 11 months ago. Jun 21, 2018 - 12:10 BST
This scheduled maintenance affected: Our servers (Our search database).