FOUNDER · SIGNAL STARTUP
Ask HN: Can we translate normal Rust (axum) to Lean 4 without restrictions?
I'm trying to build a web app in Rust using axum, and am thinking whether I can export that Rust code to Lean4 so that I can verify business logic or security properties.I first t…
出典・元記事Hacker News — Ask HNhttps://news.ycombinator.com/item?id=49880807 配信元で続きを読む◆ SOURCE POLICY
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
SHARE STARTUP