Fermat's Little TheoremExplores Fermat's Little Theorem, its extensions, primality testing algorithms, and the significance of prime numbers in cryptography.
Verifying Programs with StainlessExplores the verification of programs using Stainless, focusing on functional correctness, proof assistants, and automation of reasoning tasks.