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

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

Last synced: about 1 month 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 2 years ago)
• Default Branch: main
• Last Synced: 2024-02-10T13:09:49.147Z (5 months ago)
• Stars: 0
• Forks: 2
• Open Issues: 0

Lists

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