![](https://blog.adacore.com/uploads/_300x300_crop_center-center_none/iStock-867341484.jpg)
Taking on a Challenge in SPARK
Last week, the programmer Hillel posted a challenge (the link points to a partial postmortem of the provided solutions) on Twitter for someone to prove a correct implementation of three small programming problems: Leftpad, Unique, and Fulcrum.