Verified Software > Functional Algorithms Verified in SSReflect

Purely functional verified implementations of algorithms for searching, sorting, and other fundamental problems.