search

digama0 / lean-sys

Rust bindings for the Lean 4 proof assistant
Apache License 2.0
17 stars 5 forks source link

Upgrade to Lean 4.8.0 and add lean_initialize_thread and lean_finalize_thread #14

Closed andrewmw94 closed 4 months ago

andrewmw94 commented 4 months ago

Upgrade to Lean 4.8.0 and add lean_initialize_thread and lean_finalize_thread.

Lean added these functions to support multiple FFI threads in this PR: https://github.com/leanprover/lean4/commit/3921257ecef826177cf55ca1082ff76f100b10ca which was released in Lean 4.8.0.

andrewmw94 commented 4 months ago

A working example with this locally is available here: https://github.com/andrewmw94/lean_rust_ffi_example

andrewmw94 commented 4 months ago

Thanks for taking this! Do you know when it'll get pushed to crates.io? We'd like to run cargo test with multiple threads.

digama0 commented 4 months ago

it's up now