leanpythonraw
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
GitHub Link DocumentationTODO: should show a time axes that allows the users to view, filter and click copy the lakefile config.
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)