Verifying 2-3 trees

Stream: Program verification

[Simon Hudon]

I recently got interested in B+ tree and decided to verify a variation on 2-3 trees as an exercise. More work is needed but people here could be interested in it. https://github.com/cipher1024/search-trees