Projects in Awesome Lists tagged with refinement-proof
A curated list of projects in awesome lists tagged with refinement-proof .
https://github.com/sel4/graph-refine
proof refinement-proof sel4 translation-validation
Last synced: 27 Apr 2025
A curated list of projects in awesome lists tagged with refinement-proof .
proof refinement-proof sel4 translation-validation
Last synced: 27 Apr 2025