digama0/lean-sys

Rust bindings for the Lean 4 proof assistant

Rust

40 commits

updated Sep 24, 2025

See the code

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

Contributors

19 commits

13 commits

6 commits

1 commits

Similar repos

GaloisInc/lean-llvm

LLVM support for the lean theorem prover

leanprover/lean

Lean Theorem Prover

2,154

augustepoiroux/LeanInteract

LeanInteract: A Python Interface for Lean 4

129

hacspec/hacspec-v2

A Rust verification tool

479

AeneasVerif/aeneas

A verification toolchain for Rust programs

973

justincasher/lean-explore

A search engine for Lean 4 declarations

lean-dojo/LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

1,323

GasStationManager/LeanTool

A "code intepreter" for Lean

Languages

Rust

100.0%

digama0/lean-sys

Rust bindings for the Lean 4 proof assistant

Rust

40 commits

updated Sep 24, 2025

See the code

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

Similar repos

GaloisInc/lean-llvm

LLVM support for the lean theorem prover

leanprover/lean

Lean Theorem Prover

2,154

augustepoiroux/LeanInteract

LeanInteract: A Python Interface for Lean 4

129

hacspec/hacspec-v2

A Rust verification tool

479

AeneasVerif/aeneas

A verification toolchain for Rust programs

973

justincasher/lean-explore

A search engine for Lean 4 declarations

lean-dojo/LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

1,323

GasStationManager/LeanTool

A "code intepreter" for Lean

Contributors

19 commits

13 commits

6 commits

1 commits

Languages

Rust

100.0%