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)