--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on March 2020 ---
Hi I took some time last Friday to write a Frama-C example for https://github.com/hwayne/lets-prove-leftpad Check it out! /Tomas