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

3 points | by syumei 4 hours ago