Ask HN: Can we translate normal Rust (axum) to Lean 4 without restrictions?

3 points | by syumei an hour ago

No comments yet