https://github.com/kassane/lean4-zig

Zig bindings for Lean4
https://github.com/kassane/lean4-zig

ffi-bindings lean lean-language lean4 zig ziglang

Last synced: 23 days ago
JSON representation

Zig bindings for Lean4

• Host: GitHub
• URL: https://github.com/kassane/lean4-zig
• Owner: kassane
• License: apache-2.0
• Created: 2023-08-28T14:59:12.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2024-01-18T17:16:20.000Z (10 months ago)
• Last Synced: 2024-10-05T15:58:46.145Z (about 1 month ago)
• Topics: ffi-bindings, lean, lean-language, lean4, zig, ziglang
• Language: Zig
• Homepage:
• Size: 58.6 KB
• Stars: 7
• Watchers: 0
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.APACHE

Awesome Lists containing this project

README

        
# lean4-zig

Zig bindings for Lean4's C API.

Functions and comments manually translated from those in the [`lean.h` header](https://github.com/leanprover/lean4/blob/master/src/include/lean/lean.h) provided with Lean 4

### Required

- [zig](https://ziglang.org/download/) v0.12.0 or master

- [lean4](https://leanprover.github.io/download/) v4.4.0 or nightly

### How to run

- **FFI**

```bash

# default: reverse ffi (zig lib => lean4 app)

$> zig build zffi

# output: 3

```

- **Reverse-FFI**

```bash

# default: reverse ffi (lean4 lib => zig app)

$> zig build rffi

# output: 6

```