scratches/ffi_test
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Lean4 FFI example
4 commits 1 branch 0 tags 27 KiB
Lean 87.3%
C++ 12.7%
Find a file
qwjyh 3e6b9bcdfa update README
2024-10-25 16:50:24 +09:00
.github/workflows disable CI 2024-10-25 16:48:29 +09:00
c ffi example (from official lake repository (leanprover/lean4)) 2024-10-25 16:47:35 +09:00
FfiTest ffi example (from official lake repository (leanprover/lean4)) 2024-10-25 16:47:35 +09:00
.gitignore init 2024-10-23 16:03:06 +09:00
FfiTest.lean init 2024-10-23 16:03:06 +09:00
lake-manifest.json ffi example (from official lake repository (leanprover/lean4)) 2024-10-25 16:47:35 +09:00
lakefile.lean ffi example (from official lake repository (leanprover/lean4)) 2024-10-25 16:47:35 +09:00
lean-toolchain init 2024-10-23 16:03:06 +09:00
Main.lean ffi example (from official lake repository (leanprover/lean4)) 2024-10-25 16:47:35 +09:00
README.md update README 2024-10-25 16:50:24 +09:00

README.md

ffi_test

Just a copy of official lake ffi example project.

I want to add FFI for libcurl.