An implementation and formal verification of 2-3 finger trees in Stainless, for the final project in CS-550: Formal Verification.
This project uses sbt. Run sbt compile to get the Stainless verification results.
Slides for the presentation are located in presentation_slides.pdf.