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. https://github.com/AeneasVerif/aeneas says "Aeneas currently functionalizes a subset of safe Rust, and we are in the process of extending the functional model with reasoning based on separation logic to support unsafe code and concurrent…
    comment by homarp · 2026-10-23 · in LLMs are making formal software verification feasible at a much larger scale
  2. see also https://lean-lang.org/use-cases/aeneas/ https://github.com/AeneasVerif/aeneas (by Microsoft)
    comment by homarp · 2026-09-17 · in Developing provably correct Rust code with Verus
  3. ▲ 1
    Verifying Rust Programs
    story by wazHFsRy · 2026-04-12 · 0 comments