Awesome

lean4-zig

Zig bindings for Lean4's C API.

Functions and comments manually translated from those in the lean.h header provided with Lean 4

Required

• zig v0.12.0 or master
• lean4 v4.4.0 or nightly

How to run

• FFI

# default: reverse ffi (zig lib => lean4 app)
$> zig build zffi
# output: 3

• Reverse-FFI

# default: reverse ffi (lean4 lib => zig app)
$> zig build rffi
# output: 6