Hacker GitHub

← All repos

AeneasVerif/aeneas

View on GitHub ↗ ★ 1,190 OCaml

A verification toolchain for Rust programs

3 mentions on Hacker News by 2 people: 1 story, 2 comments · first 2026-04-12 · latest 2026-10-23

Mentions per year 3 mentions · busiest year 2026 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 1
    Verifying Rust Programs
    story by wazHFsRy · 2026-04-12 · 0 comments