Formally prove properties of Python code with the Lean proof assistant. - View it on GitHub