Add README.md

2026-07-01 18:33:56 -07:00
parent 5b6f675cac
commit f97b0db657
1 changed files with 19 additions and 1 deletions
@@ -1 +1,19 @@
-# lean-ffi-experiment
+# lean-rust-ffi-experiments
+
+This repo exists to demonstrate FFI between lean and rust.
+
+
+Take a look at the `justfile` in the repository root for operations that can be run
+on this code.
+
+
+Run:
+
+```bash
+$ just run-rust
+```
+
+To build a Lean library, a Rust executable that links against that library, and run
+the Rust executable.
+
+