WIP !
This is an experiment of doing Lean<->Python FFI
this repo only contains low-level bindings to Python C-API functions
For the moment I don't really make sure I'm using reference counting well (for Lean and Python)
Raw Lean4 bindings to python C-API
WIP !
This is an experiment of doing Lean<->Python FFI
this repo only contains low-level bindings to Python C-API functions
For the moment I don't really make sure I'm using reference counting well (for Lean and Python)