@article{Chan_Norrish_13,
    author           = {Chan, Joseph and Norrish, Michael},
    journal          = {Journal of Formal Reasoning},
    keywords         = {mechanised mathematics},
    month            = dec,
    number           = {1},
    pages            = {63--87},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7528.pdf},
    title            = {A string of pearls: proofs of Fermat's Little Theorem},
    volume           = {6},
    year             = {2013}
  }