lean-sys (cargo): Bindings to Lean 4's C API
Keywords: bindings|math|lean