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

## Mathematics

Examples involving mathematics

- A small mathematical puzzle from a Dijkstra paper
- Binomial coefficients
- Disambiguation of Plus Expressions
- Discretization of the 1D acoustic wave equation
- Euler's Sieve
- Fibonacci function, linear/logarithmic algorithms, Why3 version
- Fibonacci with memoization
- Infinity of primes
- Kleene Algebra
- Largest prime factor
- Linear recurrence of order 2
- Pigeonhole principle
- Sieve of Eratosthenes
- Sum of even-valued Fibonacci numbers
- Sum of multiples of 3 and 5
- Tarski fixed point theorem
- Three idempotent rings
- Various ways of proving an induction principle
- 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)