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)
-
Notifications
You must be signed in to change notification settings - Fork 0
PolyB/LeanPythonRaw
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Raw Lean4 bindings to python C-API
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published