hub / github.com/digama0/lean-sys

github.com/digama0/lean-sys @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

553 symbols 962 edges 43 files ⚖ Apache-2.0 4 documented · 1% ● updated 11mo ago★ 502 open issues

Browse by type

⨍ Functions 538◇ Types & classes 15

What it actually does AI analysis from the code graph — generated when you open this

loading…

README

lean-sys

Rust bindings to Lean 4's C API

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

Core symbols most depended-on inside this repo

↓ 18 fileslean_unbox

src/lib.rs

↓ 17 fileslean_is_scalar

↓ 7 fileslean_set_st_header

src/lib.rs

↓ 6 fileslean_inc

src/lib.rs

browse all functions →

Shape

Function 530

Class 15

Method 8

Languages

Rust100%

Modules by API surface

src/lib.rs54 symbols

src/primitive/float32.rs30 symbols

src/primitive/float.rs28 symbols

src/int.rs25 symbols

src/primitive/isize_.rs23 symbols

src/primitive/int8.rs23 symbols

src/primitive/int64.rs23 symbols

src/primitive/int32.rs23 symbols

src/primitive/int16.rs23 symbols

src/primitive/uint8.rs22 symbols

src/primitive/uint32.rs22 symbols

src/primitive/uint16.rs22 symbols

For agents

$ claude mcp add lean-sys \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

github.com/digama0/lean-sys @main

lean-sys

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page