lean.py 8.4 KB