There will be an outage of up to 10 hours between 28th February 2025 10pm (GMT) and 1st March 2025 10am while our ISP performs maintenance on a fibre cable during roadworks.

Results of model checking with WHATCHECK and PROCHECK

The real server provides a few more options for viewing the results. For the purposes of this exercise they have been elided to the three following options:

See the results in a big table. (by residue)
See the results in another big table. (by atom)
See the results one method at a time.