Hacker News new | past | comments | ask | show | jobs | submit
malisper | on: LLMs are making formal software verification feasible at a much larger scale
From what I can tell Aeneas only supports safe Rust. I need something that works with both C and unsafe Rust.