AeneasVerif/aeneas

A verification toolchain for Rust programs

1 best points · 0 comments · 1 Hacker News post · 1,170 GitHub stars · View on GitHub

Hacker News discussions

• Verifying Rust Programs (1 points, 0 comments, by wazHFsRy, 2026-04-12)