{"type":"link","version":"1.0","title":"文章介绍从 Rust 到 Lean… · A Rust-to-Lean… | HotDaily","description":"文章介绍从 Rust 到 Lean 4 的验证流水线：Charon/Aeneas 或 Hax 提取安全 Rust 为纯函数 Lean 4 代码，结合…","url":"https://hotdaily.top/item/83f8b1a2-37e0-418f-97f2-1615f8adc3c1","provider_name":"HotDaily","provider_url":"https://hotdaily.top","thumbnail_url":"https://hotdaily.top/og.png","thumbnail_width":1200,"thumbnail_height":630}