Stainless – Verification framework and tool for higher-order Scala programsgithub.com/epfl-lara1 pointsimonpure5 years ago