logo
hax
Designs
Initializing search
    GitHub
    • hax
    • Manual
    • RFCs
    • Engine
    • Frontend
    • Blog
    • Publications
    • Dev
    GitHub
    • hax
    • Manual
      • Quick start
      • Tutorial
        • Panic freedom
        • Proving properties
        • Data invariants
      • Faq
        • Rust Item Extraction Using cargo hax
        • Troubleshooting/FAQ
    • RFCs
      • 0000 template
    • Engine
    • Frontend
      • Designs
      • Evaluation of the hax Frontend
    • Blog
        • 2025
    • Publications
    • Dev
      • Architecture
      • Ast ebnf
      • Docs
      • Libraries

    Designs

    Made with Material for MkDocs