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

3 pointsby syumei6 hours ago