, NICTA, also Australian National University, Australia

• Journal of Formalized Reasoning Vol. 6 No. 1 (2013) - Articles
  A String of Pearls: Proofs of Fermat's Little Theorem
  Abstract  PDF