{"type":"link","version":"1.0","title":"该工具作为 cargo… | hax: A Rust verification… · HotDaily 每日晚报","description":"该工具作为 cargo 子命令运行，支持将 Rust 代码翻译至 F*、Lean、Coq、EasyCrypt 和 ProVerif 等后端。它涵盖了…","url":"https://hotdaily.top/item/05316968-6da7-4744-b31d-587748205e8f","provider_name":"HotDaily","provider_url":"https://hotdaily.top","thumbnail_url":"https://hotdaily.top/og.png","thumbnail_width":1200,"thumbnail_height":630}