https://gitlab.com/tekne/lean-sys

Rust bindings for the Lean 4 proof assistant
https://gitlab.com/tekne/lean-sys

Last synced: about 2 months ago
JSON representation

Rust bindings for the Lean 4 proof assistant

• Host: gitlab.com
• URL: https://gitlab.com/tekne/lean-sys
• Owner: tekne
• License: apache-2.0
• Created: 2022-07-25T02:18:41.442Z (almost 3 years ago)
• Default Branch: main
• Last Synced: 2024-05-22T21:32:07.667Z (about 1 year ago)
• Stars: 0
• Forks: 2
• Open Issues: 0

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - lean-sys - sys) - bindings to Lean 4's C API. (Projects / Libraries)