The content of this repository has been moved into the Bolts repository, showcasing verified Scala code using Stainless
This repository was archived by the owner on Mar 14, 2022. It is now read-only.
epfl-lara/verified-qoi
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|