The MathCheck repositories are hosted on Bitbucket:

  • MathCheck2 repository (Williamson, Craigen–Holzmann–Kharaghani, good matrix, best matrix, and projective plane conjectures)
  • MathCheck repository (Ruskey–Savage and Norine conjectures)

Additionally, many of the certificates that resolve Lam's problem are available for download.  The Williamson sequence, best matrix, and complex Golay pair enumerations performed by MathCheck and a collection of eight-Williamson sequences found by MathCheck are also available for download.