fix: `LEAN_MAX_SMALL_NAT` should be `SIZE_MAX >> 1` - Githubissues

digama0 / lean-sys

Rust bindings for the Lean 4 proof assistant

Apache License 2.0

17 stars 5 forks source link

fix: `LEAN_MAX_SMALL_NAT` should be `SIZE_MAX >> 1` #8

Closed SchrodingerZhu closed 1 year ago