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

## 2015

Examples of year 2015

- Binary Search, SPARK/Ada version
- Braun Trees
- Build a balanced tree from a list
- Computing the height of a tree in CPS style
- Counting bits in a bit vector
- Pigeonhole principle
- Random Access Lists
- Removing duplicate elements in an array, using a mutable set
- Schorr-Waite algorithm
- Sieve of Eratosthenes
- Tarski fixed point theorem
- The N-queens problem, using bit vectors
- The rightmost bit trick
- Various ways of proving an induction principle
- VerifyThis 2015: solution to problem 1
- VerifyThis 2015: solution to problem 2
- VerifyThis 2015: solution to problem 3

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