This repository has been archived by the owner on Mar 14, 2022. It is now read-only.

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