RSS BotBM to Lobste.rsEnglish · 3 months agoA Rust-to-Lean verification pipeline with AI provers: An experience reportarxiv.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10file-text
arrow-up11arrow-down1external-linkA Rust-to-Lean verification pipeline with AI provers: An experience reportarxiv.orgRSS BotBM to Lobste.rsEnglish · 3 months agomessage-square0linkfedilinkfile-text
