epfl-lara / verified-qoi

Formally verified QOI in Scala

Verified Scala implementation of QOI using Stainless

The content of this repository has been moved into the Bolts repository, showcasing verified Scala code using Stainless