3 ms·Stainless – Verification framework and tool for higher-order Scala programs1 points by simonpure 6y ago