GitHub repository: kassane/lean4-zig
Primary language: Zig
Description: Zig bindings for Lean4