see also the index (by topic, by tool, by reference, by year)
Andrei Paskevich
- Call-by-value reduction of SK terms
- Circular queue in an array
- Coincidence count
- Common factor of two words
- Computing the height of a tree in CPS style
- Hash table implementation
- Inverse in place
- Maximum subarray problem
- Maze building from the VACID-0 benchmarks
- Removing an element from a singly-linked list
- Resizable arrays
- Sparse Arrays in Why3
- Towers of Hanoi
- Tree reconstruction from a list of leave depths
- VerifyThis 2021: DLL to BST
- VerifyThis 2021: Lexicographic Permutations (version 1)
- VerifyThis 2021: Shearsort (modified)
- VerifyThis @ FM 2012, problem 3
- Wrap lines
see also the index (by topic, by tool, by reference, by year)