5 lines
167 B
Markdown
5 lines
167 B
Markdown
# ffi_test
|
|
|
|
Just a copy of [official lake ffi example project](https://github.com/leanprover/lean4/tree/master/src/lake/examples/ffi).
|
|
|
|
I want to add FFI for libcurl.
|