search

digama0 / lean-sys

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

Panic and alloc #2

Closed SchrodingerZhu closed 1 year ago

SchrodingerZhu commented 1 year ago

I made the code based on #1, so the changes are messy for now.