A String of Pearls: Proofs of Fermat's Little Theorem
No abstract available.
DOI 10.1007/978-3-642-35308-6_16
Related papers
- Windmills of the minds: an algorithm for fermat's two squares theorem CPP 2022
- An Equational and Graphical Fixed-Point Calculus (Functional Pearl) ICFP 2026
- Proof Pearl: The Marriage Theorem CPP 2011
- A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction APLAS 2011
- Theoretical Pearl: A simple proof of a folklore theorem about delimited control JFP 2006
- Formalising Sharkovsky's Theorem (Proof Pearl) CPP 2023
- A minimalistic verified bootstrapped compiler (proof pearl) CPP 2021
- Free theorems involving type constructor classes: functional pearl ICFP 2009