Example of calling Lean from Rust via the FFI
Go to file
Leni Aniva c79205252e
Remove extraneous libc dependency
2024-03-05 16:01:06 -08:00
Callee Stub 2024-03-04 21:08:55 -08:00
src Add full calling example 2024-03-05 15:57:48 -08:00
.gitignore Add full calling example 2024-03-05 15:57:48 -08:00
Cargo.lock Remove extraneous libc dependency 2024-03-05 16:01:06 -08:00
Cargo.toml Remove extraneous libc dependency 2024-03-05 16:01:06 -08:00
README.md Add full calling example 2024-03-05 15:57:48 -08:00
build.rs Add full calling example 2024-03-05 15:57:48 -08:00
flake.lock Stub 2024-03-04 21:08:55 -08:00
flake.nix Add full calling example 2024-03-05 15:57:48 -08:00
rust-toolchain.toml Add full calling example 2024-03-05 15:57:48 -08:00

README.md

Rust Call Lean

A tiny example of calling Lean's FFI from Rust with Nix.

This is based on: