search

digama0 / lean-sys

Rust bindings for the Lean 4 proof assistant
Apache License 2.0
17 stars 5 forks source link

Remove `std` dependency #1

Closed SchrodingerZhu closed 1 year ago

SchrodingerZhu commented 1 year ago

@digama0 rebased