see also the index (by topic, by tool, by reference, by year)

## Project Euler

Programs inspired by the collection of mathematical problems proposed by the Project Euler

- Euler Project problem 11, SPARK/Ada version
- Largest prime factor
- Maximize product of adjacent numbers in a matrix
- Sum of even-valued Fibonacci numbers
- Sum of multiples of 3 and 5
- VerifyThis 2018: le rouge et le noir
- VerifyThis 2018: le rouge et le noir (alt)

see also the index (by topic, by tool, by reference, by year)