Calling Lean Functions As Python Functions (via spookylukey) — discussion

#formalmethods #python