Issues 共 431
Ship pre-built Aeneas Lean library
#3233 · joshlf · 2026-04-10
Unfold function definition in auto-proofs
#3213 · joshlf · 2026-04-07
Use `grind` tactic in auto-proofs
#3210 · joshlf · 2026-04-07
Tracking issue for soundness blockers
#3208 · joshlf · 2026-04-06
Ban axioms in non-axiom Hermes annotations
#3206 · joshlf · 2026-04-06
Prove soundness of `layout::cast_from`
#3199 · joshlf · 2026-04-05
Support linux-aarch64
#3198 · joshlf · 2026-04-05
Cache input -> output mapping
#3142 · joshlf · 2026-03-21
Test codegen of concrete trait impls
#3105 · joshlf · 2026-03-11
Get zizmor passing
#3093 · joshlf · 2026-03-09