lean4-ffi-constructor-layout
Facilitates correct memory layout for Lean 4 FFI constructors with mixed object and scalar fields, preventing runtime assertion failures.
Install this skill
or
lean4-ffi-constructor-layout1 files
Comments
Sign in to leave a comment.
No comments yet. Be the first to comment!