Hacker News new | past | comments | ask | show | jobs | submit
weinzierl | on: LLMs are making formal software verification feasible at a much larger scale
Have you heard of Aeneas? In case you did, what are your opinions on it? Specifically, why you didn't choose it for your project.
malisper | parent
From what I can tell Aeneas only supports safe Rust. I need something that works with both C and unsafe Rust.