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

3 points | by syumei 5 hours ago ago

No comments yet.