Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

L

lean-sys

Project information

Rust bindings for the Lean 4 proof assistant

22 Commits
1 Branch
0 Tags

README
Apache License 2.0
CHANGELOG

Created on

July 25, 2022

Loading