Add rust basic skeleton

.gitignore

@@ -1 +1,2 @@
 /.lake
+lean-ffi-experiment-rust/target/

justfile

@@ -5,3 +5,10 @@ _default:
 [doc: "Build a Lean shared library with the \"shared\" facet"]
 build-shared-lib:
     lake build LeanFfiExperiment:shared
+
+
+[doc: "Build the rust executable"]
+[working-directory: "lean-ffi-experiment-rust"]
+run-rust:
+    cargo run
+

lean-ffi-experiment-rust/Cargo.lock

@@ -0,0 +1,7 @@
+# This file is automatically @generated by Cargo.
+# It is not intended for manual editing.
+version = 4
+
+[[package]]
+name = "lean-ffi-experiment-rust"
+version = "0.1.0"

lean-ffi-experiment-rust/Cargo.toml

@@ -0,0 +1,6 @@
+[package]
+name = "lean-ffi-experiment-rust"
+version = "0.1.0"
+edition = "2024"
+
+[dependencies]

lean-ffi-experiment-rust/src/main.rs

@@ -0,0 +1,3 @@
+fn main() {
+    println!("Going to invoke Lean FFI");
+}