The MathCheck repositories are hosted on Bitbucket:
- MathCheck repository (Ruskey–Savage and Norine conjectures)
- MathCheck2 repository (Williamson, Craigen–Holzmann–Kharaghani, good matrix, best matrix, and projective plane conjectures)
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.
