solutions in Lean to some exercises in Software Foundations - View it on GitHub